Peanoaxiome/geq n/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei die Menge der natürlichen Zahlen und . Zeige, dass die Menge

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

erfüllt.
Eine Lösung erstellen