Die allgemeine Regel für den Induktionsbeweis kann ich natürlich 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, F1(x) = x + 1, F1(x + 1) = (x + 1) + 1, F2(x + 1) = 1 + (x + 1), F2(x) = 1 + x(Ƒ) zu kommen.