Natürliche Zahlen/Addition mit n/Als Verschiebung/Definition

Aus Wikiversity
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.