Aufgabe:
Nehmen wir an, die Peano-Axiome P1)-P3) würden durch folgende ersetzt:
P1) Es existiert genau ein Einselement e ∈ ℕ mit f(x)≠e ∀� ∈ ℕ
P2) f:N→N\{e} ist bijektiv
a) Erfüllt ℕ0 mit der Abbildung f(n):=n+1 diese Axiome? Begründen Sie! Was ist in
diesem Fall e?
b) Gibt es auch Mengen, die nicht so wie Ordnungszahlen strukturiert sind, die
diese Axiome erfüllen? Wenn ja, zeichnen Sie ein Beispiel wie in Aufgabe 25.…
