Natürliche Zahlen/Addition mit n/Als Verschiebung/Hilfseigenschaften/Fakt
Erscheinungsbild
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen mit der in Definition festgelegten Addition.
Dann gelten folgende Aussagen.
für alle , d.h. ist das neutrale Element für die Addition.
für alle .
- Die Addition ist kommutativ.
- Die Addition ist assoziativ.
- Aus einer Gleichung
folgt