Peano-Axiome/Nachfolger/Vorvorgänger/Aufgabe

Aus Wikiversity

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

gilt.