Die allgemeine Regel für den Induktionsbeweis kann ich
na
türlich
93
nur dann anwenden, wenn ich die
Substitution entdecke, durch die sie anwendbar wird.
So wäre es möglich, daß einer die Gleichungen
(a + 1) + 1 =
(a + 1) + 1
1 + (a + 1) =
(1 + a) + 1 sähe, ohne auf die Substitution
a =
x,
F
1(x) =
x + 1,
F
1(x + 1) = (x + 1) + 1,
F
2(x + 1) = 1 + (x + 1),
F
2(x) = 1 + x
(Ƒ)
zu kommen.