1. induktivna definicija prirodnog broja:
baza) [inlmath]1[/inlmath] je prirodan broj
korak) ako je [inlmath]1[/inlmath] prirodan broj, onda je i [inlmath]1+1[/inlmath] prirodan broj
2. induktivna definicija sabiranja:
baza) [inlmath]x+0=x[/inlmath]
korak) [inlmath]x+y=s(x+y)[/inlmath]
3. induktivna definicija množenja:
baza) [inlmath]x\cdot0=0[/inlmath]
korak) [inlmath]x\cdot sy=x\cdot y+x[/inlmath]
4. induktivna definicija stepenovanja:
baza) [inlmath]x^0=1[/inlmath]
korak) [inlmath]x^{sy}=x^y\cdot x[/inlmath]
Da li bi neko mogao da objasni korak u drugoj, trećoj i četvrtoj definiciji?