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