Ich könnte ja auch ganz beiläufig (siehe andere Bemerungen) sagen: “25 × 64 = 160, 64 × 25 = 160 das beweist, dass a × b = b × a ist” (und diese Redeweise ist nicht vielleicht lächerlich und falsch; sondern man muss sie nur recht deuten). Und man kann richtig daraus schliessen; also lässt sich “a.b = b.a” in einem Sinne berechnen // beweisen // .
     Und ich will sagen: Nur in dem Sinne, in welchem die Ausrechnung so eines Beispiels Beweis des algebraischen Satzes genannt werden kann, ist der Induktionsbeweis ein Beweis dieses Satzes. Nur insofern kontrolliert er den algebraischen Satz. (Er kontrolliert seine Struktur // seinen Bau // , nicht seine Allgemeinheit.)