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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zum Beweis, Alternativen Beweis erstellen