Frage: Ist der Satz
“⊢p ⊃ q”,
welcher || der aussagt, daß der selbst
keine Taut
. ist, ein neuer Satz der
Mathematik, oder ist er derselbe, wie der:
“Der Satz p ⊃ q ist keine
Tautologie”?
Man kann den Satz
“⊢p ⊃ q” als
einen
80
neuen Satz der
Math. auffassen,
ähnlich vielleicht wie einen Kreis
& einen Punkt
als neue Kurve.
81