Zum Inhalt springen

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

Aus Wikiversity
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.