Die allgemeine Regel für den
Induktionsbeweis kann ich na
türlich93
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.