Recursive definition of sum of two numbers in terms of the successor function
Here is a hint:


  a + 3 = succ(succ(succ(a)))


Also, by definition, every natural number is either 0 or the successor of some (smaller) natural number.