Aufgabe:
Betrachten Sie die Menge M := {0, 1, −1, 2, −2, 3, −3, 4, −4, ...}. Wählen Sie in jeder Teilaufgabe
jeweils neu aus, welche Elemente von M welche Nachfolger haben, so dass
a) M nur das Peano-Axiom (P1) erfullt; ¨
b) M nur die Peano-Axiome (P1) und (P2) erfullt; ¨
c) M nur die Peano-Axiome (P1), (P2) und (P3) erfullt; ¨
d) M alle Peano-Axiome (P1), (P2), (P3) und (P4) erfullt. ¨
Geben Sie die Nachfolger jeweils vollständig und nachvollziehbar (evtl. auch mit ”
...“) an.
Hinweis: Betrachten Sie die Elemente der Menge M nur als Symbole und ignorieren Sie Ihre
vorhandenen Vorstellungen zu diesen.