Natürliche Zahlen/Ordnung/Mengentheoretisch/Äquivalente Formulierung/Fakt

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

Dann ist

$k\geq n{\text{ genau dann, wenn }}N_{\geq k}\subseteq N_{\geq n}.$

Zum Beweis, Alternativen Beweis erstellen