Zdroj TeX:

0+(n+1) \overset{def.}{=} 0+(n+0') \overset{Axiom V}{=} 0+(n+0)' \overset{Axiom IV}{=} 0+n' \overset{Axiom V}{=} (0+n)' \overset{i.p.}{=} n'=n+1