Ich kenne einen Beweis mit endloser Möglichkeit, der z.B. mit “A(1)” anfängt und weiterläuft über “A(2)” etc. etc. Der “recurrierende Beweis” ist die allgemeine Form des Fortschreitens in dieser Reihe. Aber er muss doch selbst etwas beweisen, denn er erspart mir tatsächlich den Beweis eines jeden Satzes von der Form “A(7)”. Aber wie konnte er diesen Satz beweisen? Er weist offenbar jener Reihe von Beweisen entlangt.

a + (b + (x + d)) = (a + (b + x)) = ((a + b) + x) + d
a + (b + (x + d)) = (a + (b + x)) + d = ((a + b) + x) + d = (a + b) + (x + d)

a + (b + ((x + c) + d)) = (a + (b + (x + d))) + d = ((a + b) + (x + d)) + d = ((a + b) + (x + d)) + d = (a + b) + ((x + d) + d)

Das ist ein Stück der Spirale aus der Mitte heraus.
x hält den Platz offen für das, was erst bei der Entwicklung entsteht.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.