Zum Inhalt springen

Dedekind-Peano-Axiome/Unendlich/Aufgabe

Aus Wikiversity

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?