Natürliche Zahlen/Induktionsprinzip zur Definition von Abbildungen/Fakt
Erscheinungsbild
Induktive Definition von Abbildungen
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen und es sei eine Menge mit einem fixierten Element und einer Abbildung .
Dann gibt es genau eine Abbildung
die die beiden Eigenschaften
erfüllt.