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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann gibt es genau eine Verknüpfung

mit

Zum Beweis, Alternativen Beweis erstellen