Dedekind-Peano-Axiome/Unendlich/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten die Menge

mit als Startsymbol und wobei die übliche Nachfolgerabbildung durch

ergänzt wird. Welche der Dedekind-Peano-Axiome

erfüllt diese Menge, welche nicht?
Eine Lösung erstellen