同様に、直観主義者たちは、古典論理における存在性質()の欠如(φが内包する言辞tを一つも挙げられないとしても∃x,φ(x)を証明することが出来る)に反対する。