数理逻辑中存在量词引入的必要性

• The Necessity for Introduction of the Existential Quantifier into Mathematical Logic