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

Beweis

Dies folgt aus der in Fakt bewiesenen Bijektion

$N_{\geq k}\longrightarrow N_{\geq k'},\,x\longmapsto x'.$

Zur bewiesenen Aussage