Zahlentheorie/Formaler Aufbau/Induktion/Addition/Definition und Eigenschaften/Aufgabe

Aus Wikiversity

Es sei eine Menge, die die Dedekind-Peano-Axiome

erfüllt. Definiere eine „natürliche“ Addition auf und zeige, dass diese Addition kommutativ und assoziativ ist und als neutrales Element besitzt.