Natürliche Zahlen/Induktionsprinzip zur Definition von Abbildungen/Fakt/Beweis/Aufgabe