Es sei ( N , 0 , ′ ) {\displaystyle {}(N,0,^{\prime })} ein Dedekind-Peano-Modell der natürlichen Zahlen und es sei M {\displaystyle {}M} eine Menge mit einem fixierten Element s ∈ M {\displaystyle {}s\in M} und einer Abbildung F : M → M {\displaystyle {}F\colon M\rightarrow M} .
Dann gibt es genau eine Abbildung
die die beiden Eigenschaften
erfüllt.
ein
Dedekind-Peano-Modell
der natürlichen Zahlen und es sei 
eine Menge mit einem fixierten Element
und einer
Abbildung
.
