Natürliche Zahlen/Ordnung/Total/Aus Nachfolgerbeziehung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Peano-Modell der natürlichen Zahlen. Dann ist die Größergleichrelation eine totale Ordnung.