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

Beweise den Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell .