Ganze Zahlen/Dedekind-Peano-Axiome/Aufgabe

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

Eine Lösung erstellen