《集合的概念》文字素材4（新人教B版必修1）.docVIP

公理化集合论的建立 　　集合论提出伊始，曾遭到许多数学家的激烈反对，康托尔本人一度成为这一激烈论争的牺牲品.在猛烈的攻击下与过度的用脑思考中，他得了精神分裂症，几次陷于精神崩溃.然而集合论前后经历二十余年，最终获得了世界公认.到二十世纪初集合论已得到数学家们的赞同.数学家们为一切数学成果都可建立在集合论基础上的前景而陶醉了.他们乐观地认为从算术公理系统出发，借助集合论的概念，便可以建造起整个数学的大厦.在1900年第二次国际数学大会上，著名数学家庞加莱就曾兴高采烈地宣布“……数学已被算术化了.今天，我们可以说绝对的严格已经达到了.”然而这种自得的情绪并没能持续多久.不久，集合论是有漏洞的消息迅速传遍了数学界.这就是1902年罗素得出的罗素悖论.罗素构造了一个所有不属于自身（即不包含自身作为元素）的集合R.现在问R是否属于R？如果R属于R，则R满足R的定义，因此R不应属于自身，即R不属于R；另一方面，如果R不属于R，则R不满足R的定义，因此R应属于自身，即R属于R.这样，不论何种情况都存在着矛盾.这一仅涉及集合与属于两个最基本概念的悖论如此简单明了以致根本留不下为集合论漏洞辩解的余地.绝对严密的数学陷入了自相矛盾之中.这就是数学史上的第三次数学危机.危机产生后，众多数学家投入到解决危机的工作中去.1908年，策梅罗提出公理化集合论，后经改进形成无矛盾的集合论公理系统，简称ZF公理系统