Natürliche Zahlen/Ordnung/Mengentheoretisch/Übertragung auf Nachfolger/Fakt

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

Dann ist

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

Zum Beweis, Alternativen Beweis erstellen