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

Addition mit n

Es sei ${}(\mathbb {N} ,0,^{\prime })$ ein Dedekind-Peano-Modell der natürlichen Zahlen und ${}n\in \mathbb {N}$. Dann definieren wir die Addition mit ${}n$ als diejenige aufgrund von Fakt eindeutig bestimmte Abbildung

$\alpha _{n}\colon \mathbb {N} \longrightarrow \mathbb {N} ,\,k\longmapsto \alpha _{n}(k),$

für die

$\alpha _{n}(0)=n{\text{ und }}\alpha _{n}(k')=(\alpha _{n}(k))'{\text{ für alle }}k\in \mathbb {N}$

gilt.