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

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

Dann gilt $n\in ̸N_{\ge n^{\prime }}$ für alle $n\in N$.

Zum Beweis, Alternativen Beweis erstellen