Natürliche Zahlen/Ordnung/Mengentheoretisch/Total/Fakt

Es sei ${}(N,0,')$ ein Peanomodell für die natürlichen Zahlen.

Dann ist die in Definition festgelegte Relation ${}\geq$ eine totale Ordnung.

Zum Beweis, Alternativen Beweis erstellen