Die Definition durch vollständige Induktion. (Q2590266)

Während in der rekursiven Zahlentheorie die rekursiven Definitionen und die Beweise durch vollständige Induktion gerade die Ausgangspunkte sind, nach deren Begründung zu fragen nicht vernünftig ist, so ist der Sachverhalt ein anderer, wenn man die Zahlentheorie auf Grund von Axiomen in formalistischer Weise entwickelt. Dann wird man zu zeigen wünschen, daß die Definition durch Rekursion wirklich ein eindeutig bestimmtes Ergebnis liefert. Verf. der vorliegenden Arbeit beweist einen diesbezüglichen Satz durch rein mengentheoretische Überlegungen.