The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

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