Peano-Axiome/Nachfolger/Vorvorgänger/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

gilt.
Eine Lösung erstellen