auzAAA公理集合论

1　公理集合论axiomatic set theory用形式化公理化方法研究集合论的一个学科。数理逻辑的主要分支之一。19世纪70 年代 ，德国数学家 G.康托尔给出了一个比较完整的集合论，对无穷集合