Natürliche Zahlen/Menge geq n/Induktiver Durchschnitt/Selbst induktiv/Fakt

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

Dann ist

$N_{\ge n}$

induktiv abgeschlossen und enthält $n$.

Zum Beweis, Alternativen Beweis erstellen