(∃n): (Еnx) φx ∙ (Еnx) ψx: φx ⊃ x ψx :. ⊃ ψx ⊃ x φx Dieser Satz kann offenbar durch Rekursion bewiesen werden.