here's the problem:
Consider the following inductively defined function:
s(0):= 0 ; s(S):= s(S) U S
Prove with an appropriate interpretation of 0 and s that the Peano axioms 1-4 hold for your interpretation.
thanks a lot for ur help !!
ps: i think i'm supposed to prove this by induction