Natürliche Zahlen/Ordnung/Mengentheoretisch/Zusammenhang geq k und Nachfolger/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist