Es ist nicht die Logik, die mich zwingt – möchte ich sagen – einen Satz von der Form (∃   ) (∃   ) ⊃ (∃   ) anzuerkennen, wenn in den ersten beiden Klammern je eine Million Variable ist & in der dritten zwei Millionen. Ich will sagen: die Logik zwänge mich in diesem Falle gar nicht irgend einen Satz anzuerkennen. Etwas anderes zwingt mich so einen Satz als der Logik gemäß anzuerkennen.