Natürliche Zahlen/Ordnungsrelation/Addition/Fakt/Beweis

Aus Wikiversity
Beweis

Die Zahl gibt an, wie oft man von aus den Nachfolger nehmen muss, um zu zu gelangen.