Es sei ( N , 0 , ′ ) {\displaystyle {}(N,0,')} ein Peanomodell für die natürlichen Zahlen.
Dann ist die in Definition festgelegte Relation ≥ {\displaystyle {}\geq } eine totale Ordnung.
