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

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.