摘要
浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性, 指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论.
This paper dissected the necessity for introduction of the Existential Quantifier into Mathematical Logic, which is only a technical improvement, but not a real solution to the natural problem in mathematics foundations of the Russell Paradox.
出处
《东莞理工学院学报》
2005年第3期11-14,共4页
Journal of Dongguan University of Technology
关键词
存在量词
数理逻辑
罗素悖论
数学基础
存在性
合理性
正解
discrete mathematics
existence
mathematical logic
ontology
existential quantifier
paradox