Peanoaxiome/geq n/Aufgabe

Es sei ${}\mathbb {N}$ die Menge der natürlichen Zahlen und ${}n\in \mathbb {N}$. Zeige, dass die Menge

${}\mathbb {N} _{\geq n}={\left\{x\in \mathbb {N} \mid x\geq n\right\}}\,$

ebenfalls die Dedekind-Peano-Axiome (mit welchem ausgezeichneten Element und mit welcher Nachfolgerabbildung?) erfüllt.

Eine Lösung erstellen