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

Es sei $(\mathbb{N},0{,}^{\prime })$ ein Peano-Modell der natürlichen Zahlen. Dann ist die Größergleichrelation $\ge$ eine totale Ordnung.

Zum Beweis, Alternativen Beweis erstellen