Natürliche Zahlen/Menge bis n und Nachfolger/Aufgabe

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen und . Zeige durch Induktion, dass die Beziehung

gilt.