论文部分内容阅读
集合论是19世纪德国数学家康托（Cantor）创立的，现在已发展为独立的数学分支，其基本概念与方法已渗入到数学的各个领域，成为现代数学的基石．对于含有存在量词的存在性问题与含有全称量词的恒成立问题，本文试用集合论的基本概念与方法对恒成立进行辨析，挖掘这类问题的数学本质，让其思想更深刻，形式更简约．