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