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