Ganze Zahlen/Dedekind-Peano-Axiome/Aufgabe

Zeige, dass zu jeder ganzen Zahl ${}a$ sowohl die Menge ${}\mathbb {Z} _{\geq a}$ mit der Nachfolgerabbildung als auch die Menge ${}\mathbb {Z} _{\leq a}$ mit der Vorgängerabbildung die Dedekind-Peano-Axiome erfüllt.

Eine Lösung erstellen