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