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

Aus Wikiversity
Beweis

Dies folgt aus der in Fakt bewiesenen Bijektion