وبالمثل، يعارض متبعو فلسفة البداهة خاصية الوجود للمنطق الكلاسيكي، حيث يمكن للمرء إثبات formula_1، دون القدرة على إنتاج أي مصطح formula_2 يحمله formula_3.
Similarly, intuitionists object to the existence property for classical logic, where one can prove formula_1, without being able to produce any term formula_2 of which formula_3 holds.