Wenn φa ∙ φb ∙ ψc ∙ ψd dann kann ich sagen daß 4 Dinge φ ⌵ ψ genügen, aber wenn es keinen ◇Fun Begriff gibt unter den nur 2 Dinge fallen dann stimmt natürlich au[f|ch] der Satz: (Е2x) φx ∙ (Е2x) ψx ∙ Ind. . ⊃ . (Е6x) φx ⌵ ψx. Das zeigt daß diese Satzform gar nicht gibt, was ich mit 2 + 2 = 4 meine. Ich brauche vielmehr [E|e]twas, was anzeigt, daß aus (Е2x) φx ∙ (Е2x) ψx ∙ Ind., (Е4x) φx ⌵ ψx folgt. Das zeigt aber z.B. die Tautologie die bei der Verknupfung durch ⊃ ents[f|t]eht.