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

Aus Wikiversity

Es sei ein Peanomodell für die natürlichen Zahlen.

Dann ist die in Definition festgelegte Relation eine totale Ordnung.