Aber “p ⊃ q ≠ taut” ist doch ein Satz der Geometrie der Sätze einer gewissen Art. Und es ist nun
99
entweder ein geometrisches Factum, daß dieser Satz selbst eine Tautologie ist, oder, daß er keine ist. Angenommenˇ das Factum, er sei eine so kann doch, daß ich ih[m|n] nun einfach ⊢p ⊃ q schreiben will,
hieran
daran
kei nichts ändern[!| .] Denn ⊢p ⊃ q sagt doch nun genau dasselbe aus, wie
der längere
jener
Satz
. Aber wenn ich annehme, er sei eine Tautologie, so nehme ich doch ˇalso an, daß gewisse Transformationen, die ich zulasse, ihn zu einer Tautologie
100
machen. Und die Frage ist ob ich solche Transformationen ˇdes Satzes zulassen soll, wenn ich die Schreibweise ⊢p ⊃ q zulasse & den Beweis daß p ⊃ q keine Tautologie ist.