Zahlentheorie/Formaler Aufbau/Induktion/Addition/Definition und Eigenschaften/Aufgabe
Erscheinungsbild
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.