Natürliche Zahlen/Quadrieren/Rekursiv definieren/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere auf einem Dedekind-Peano-Modell für die natürlichen Zahlen die Abbildung rekursiv durch die Bedingungen (die Addition sei mit den wesentlichen Eigenschaften etabliert)

und

Zeige