Peano-Axiome/Nachfolger/Vorvorgänger/Aufgabe

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

$\mathrm{\forall }x(x=0\vee x=N0\vee \mathrm{\exists }y(NNy=x))$

gilt.

Eine Lösung erstellen