Peano/Erststufig/Nachfolger/Q geq 0/Aufgabe

Es sei

${}M=\mathbb {Q} _{\geq 0}\,$

die Menge der nichtnegativen rationalen Zahlen mit der ${}0$ und der Abbildung

${}N(x)=x+1\,.$

Welche der Peano-Axiome für den Nachfolger

gelten für ${}M$, welche nicht?

Eine Lösung erstellen