Natürliche Zahlen/Addition mit n/Als Verschiebung/Definition
Addition mit n
Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen und . Dann definieren wir die Addition mit als diejenige aufgrund von Fakt eindeutig bestimmte Abbildung
für die
gilt.