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 rekurrierende Beweis ist die allgemeine Form des Fortschreitens in dieser Reihe. Aber er muß doch selbst beweisen, denn er erspart mit tatsächlich den Beweis eines jeden Satzes von der Form “A(7)”. Aber wie konnte er denn diesen Satz beweisen? Er weist offenbar jener Reihe von Beweisen entlang.