Eine Gleichung läßt sich nur beweisen, indem man sie auf Gleichungen zurückführt
     Die letzten Gleichungen in diesem Prozeß 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 3̇ nicht auf die Induktion beziehen, deren Zeichen sie zu sein scheint. Es muß ähnlich sein, wie das Verhältnis von “A(c)” zu seinem Induktionsbeweis.
     Oder vielmehr, er bezieht sich wohl auf die bloßen Tatsachen der Induktion aber nicht auf die Allgemeinheit, die ihr eigentlicher Sinn ist.