Elementare Mathematik 1/Gemischte Satzabfrage/9/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz über die Eindeutigkeit der Addition auf einem Peano-Modell.
2. Der Satz über die Verträglichkeit der Größergleichrelation ${}\geq$ auf ${}\mathbb {N}$ mit der Addition und mit der Multiplikation.
3. Das Lemma von Euklid.

Zur Lösung, Alternative Lösung erstellen