(Е2x) φx ∙ (Е2x) ψx ∙ Ind . ⊃ . (Е4x) φx ⌵ ψx … A. Dieser
Satz sagt – natürlich – nicht, daß 2 + 2 = 4 sondern daß der Ausdruck eine Tautologie ist zeigt es. φ & ψ müssen unintegrierte Variable sein.