Natürliche Zahlen/Ordnung/Mengentheoretisch/Bijektion der Nachfolgermengen/Fakt

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

Dann ergibt die Einschränkung der Nachfolgeabbildung eine Bijektion

$N_{\ge n}⟶N_{\ge n^{\prime }},x⟼x^{\prime }.$

Zum Beweis, Alternativen Beweis erstellen