Provide recursive specifications of the function

23 Views Asked by At

I am given only the successor function

σ(n) = 1+n

And asked to provide recursive specifications of the function

i) add(n,m)=m+n

Is the objective to prove that this is true for all numbers? A bit lost on how to proceed