数理逻辑和算法理论课件：集合论公理化.pptx

集合论公理化

1古典集合论的创立2第三次数学危机(集合论悖论)的引发3集合论的公理化目录

古典集合论的创立2.1

2.1古典集合论的创立2.1.1康托尔的实无穷集合及其造集原则对于什么是“无穷集合”？康托尔拒绝自古以来只承认潜无穷的偏见，自称自己置于“关于无穷大的流行观点以及关于数的性质公认意见的对立面”，旗帜鲜明地宣称:“无穷集合是一个实在的整体”01.集合是一个实在的“被人的心智思考的整体”2.康托尔的概括原则3.集合的概念及其类别是由它的元素决定的4.集合的简单运算

2.1古典集合论的创立2.1.1应用一一对应原则引进了“势”的概念在提出实无穷集合概念和造