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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Peanomodell für die natürlichen Zahlen.

Dann ist die in Definition festgelegte Relation eine totale Ordnung.