Ob etwas mit Recht der Satz genannt wird “X ist
unbeweisbar”, hängt davon ab, wie wir diesen Satz beweisen.
Nur der Beweis zeigt, was als das Kriterium der Unbeweisbarkeit
gilt.
Der Beweis ist ein Teil des Systems von Operationen, des Spiels, worin
der Satz gebraucht wird, und zeigt uns seinen
‘Sinn’.
Es ist also die Frage ob der “Beweis der
Unbeweisbarkeit’ von p hier ein triftiger Grund ist zur
Annahme daß ein Beweis von p nicht gefunden werden wird.
– 253 –
Der Satz “p ist
unbeweisbar
” hat einen andern
Sinn, nach dem
, – als ehe er bewiesen ist.
Ist er bewiesen, so ist er die Schlußfigur des
Unbeweisbarkeitsbeweises. –
Ist er unbewiesen, so ist ja noch nicht
klar,
was als Kriterium seiner Wahrheit zu gelten hat, und sein
Sinn ist – kann man sagen – noch verschleiert.