„(∃φ):(x).φx” – von diesem Satz scheint es fast gewiss daß er weder eine Tautologie noch eine Contradiction ist. Hier spitzt sich das Problem unerhöhrt zu.