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