Es sei ( N , 0 , ′ ) {\displaystyle {}(N,0,')} ein Peanomodell für die natürlichen Zahlen.
Dann gilt n ∉ N ≥ n ′ {\displaystyle {}n\not \in N_{\geq n'}} für alle n ∈ N {\displaystyle {}n\in N} .
ein
Peanomodell für die natürlichen Zahlen.
für alle 
.
