/  
  Eine Gleichung lässt sich nur beweisen, indem man sie auf Gleichungen zurückführt.
  Die letzten Gleichungen in diesem Prozess sind Definitionen.
  Ist eine Gleichung nicht auf andere Gleichungen zurückführbar, so ist sie eine Definition.
  Eine Induktion kann eine Gleichung nicht rechtfertigen.
  Daher kann sich z.B. die Einführung der Notation nicht auf die Induktion beziehen, deren Zeichen sie zu sein scheint. Es muss ähnlich sein, wie das Verhältnis von “A(c)” zu seinem Induktionsbeweis.
  Oder vielmehr, er bezieht sich wohl auf die blossen Tatsachen der Induktion aber nicht auf die Allgemeinheit, die ihr eigentlicher Sinn ist.