430
Auch so: Der Rekursionsbeweis hat es –
offenbar || natürlich – wesentlich mit
Zahlen zu tun.
Aber was gehen mich die an, wenn ich rein algebraisch operieren
will.
Oder: Der Rekursionsbeweis ist nur dann zu
gebrauchen﹖ ||
benützen﹖, wenn ich
mit ihm den || durch ihn einen
Übergang in einer Zahlenrechnung rechtfertigen
will.
Man könnte nun aber fragen: Also brauchen wir
(
beide:) sowohl den
Induktionsbeweis
als auch das assoziative Gesetz, da ja dieses
Übergänge der Zahlenrechnung nicht begründen kann, und
jener nicht Transformationen in der Algebra?