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.