Dedekind-Peano-Modell/Peano-Halbring/Abbildung/Aufgabe

Aus Wikiversity

Es sei ein Peano-Dedekind-Modell der natürlichen Zahlen und ein Peano-Halbring. Zeige, dass es eine eindeutig bestimmte Abbildung

mit und gibt. Zeige ferner, dass injektiv

ist und die Addition und die Multiplikation respektiert.