Natürliche Zahlen/Ordnung/Mengentheoretisch/n gehört nicht zur Nachfolgermenge von n'/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann gilt für alle .