Wenn man den Beweis ansieht als einen von der Art der Ableitung von (x + y)² = x² + 2xy + y², so beweist er den Satz „a + (b + (c + 1)) = (a + b) + (c + 1)” (unter der Annahme von „a + (b + c) = (a + b) + c” also des Satzes, den ich eigentlich beweisen wollte) Und rechtfertigt – unter dieser Voraussetzung – Spezialfälle wie 3 + (5 + (4 + 1)) = (3 + 5) + (4 + 1). Er hat dann auch eine Allgemeinheit. Aber nicht die gewünschte. Diese Allgemeinheit liegt vielmehr nicht in den Buchstaben sondern ebensogut in bestimmten Zahlen & besteht darin, daß man den Beweis wiederholen kann.