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 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 entlangt.

✓ / \