A ist die allgemeine Form der Zahlengleichungen die B beweist. ((Und dieser Satz selbst bringt uns der Anwendung von A nicht näher als A selbst & ist nur eine Übersetzung von A selbst.)) Und die algebraische Notation wird verwendet um mir zu sagen, wie ich z.B. im Falle (17 + 18)² rechnen soll, indem mir gesagt wird || es heißt „(a + b)² = etc.”. D.h., ich soll dieser Gleichung gemäß rechnen. Und insofern könnte man unsere Induktion einen Beweis der algebraischen Rechnung || Gleichung nennen. Denn ich könnte sagen: Rechne nach || Rechne ruhig nach dieser Gleichung, sie
ist bewiesen worden.