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’.
– 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.