Zum Inhalt springen

Natürliche Zahlen/Dedekind-Peano/Eindeutigkeit der Multiplikation/Fakt

Aus Wikiversity

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen.

Dann gibt es eine eindeutig bestimmte Verknüpfung

die

erfüllt.