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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann gibt es eine eindeutig bestimmte Verknüpfung

die

erfüllt.

Einen Beweis erstellen