Vervollständigen Sie den Beweis des Rekursionsprinzips für natür- liche Zahlen aus der Vorlesung, d.h. beweisen Sie für jede nicht-leere Menge M, m0 ∈ M, sowie φ : M → M die Eindeutigkeit der Abbildung f : N → M mit den beiden Eigen- schaften f(0) = m0, sowie f ◦ S = φ ◦ f.
Hinweis: Wählen Sie zwei Abbildungen f,f′ welche beide diesen Bedingungen genügen und zeigen Sie mittels vollständiger Induktion, daß f = f′ gelten muß.
Ich komme hier wirklich nicht mehr weiter, vielleicht hat irgendjemand ja eine Idee. Ich würde nicht über jede Hilfe sehr freuen.