Poznámka 40

Formální zápis zákona explikuje to, na čem je založen obecně známý důkaz (úplnou) indukcí, totiž že platí-li libovolná vlastnost X pro 0 a jsme-li s to z toho, že X platí pro nějaké dále nespecifikované číslo x, odvodit, že platí i pro x+1, platí už X zcela obecně, tj. pro všechna čísla.