Aber “
p⊃q ≠ taut.”
ist doch ein Satz der Geometrie der Sätze einer gewissen
Art. Und es ist nun
99
entweder ein
geometrisches Fa
ktum, daß dieser
Satz selbst eine Tautologie ist, oder, daß er keine ist.
Angenommen das Fa
ktum, er sei eine
so kann doch, daß ich ih
n nun einfach
⊢p⊃q schreiben will,
daran || hieran
nichts ändern
! || .
Denn ⊢p⊃q
sagt doch nun genau dasselbe aus, wie
jener || der längere
Satz. Aber
wenn ich annehme, er
sei eine Tautologie, so nehme ich || ich nehme 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.