Peano-Axiome/Nachfolger/Nullnachfolger und Vorvorgänger/Aufgabe

Zeige, dass in einer Struktur, die die Peano-Axiome für den Nachfolger erfüllt, die Aussage

$\forall x{\left(x=N0\rightarrow \forall y(\neg NNy=x)\right)}$

gilt.

Eine Lösung erstellen