Natürliche Zahlen/Erststufige Peano-Axiome/Aufgabe

Es sei ${}(N,0,')$ ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass das erststufige Axiomenschema für die Induktion

in ${}N$ gilt.

Eine Lösung erstellen