Es sei ( N , 0 , ′ ) {\displaystyle {}(\mathbb {N} ,0,')} ein Peano-Modell der natürlichen Zahlen. Dann ist die Größergleichrelation ≥ {\displaystyle {}\geq } eine totale Ordnung.
