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

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

Dann ist

$N_{\geq n}$

induktiv abgeschlossen und enthält ${}n$.

Zum Beweis, Alternativen Beweis erstellen