公理的公理集合论

2020-09-27 综合百科 1万阅读 投稿:admin

公理集合论是数理逻辑的主要分支之一,是用公理化方法重建集合论的研究以及集合论的元数学和集合论的新的公理的研究。

19世纪70年代,德国数学家G康托尔给出了一个比较完整的集合论,对无穷集合的序数和基数进行了研究。20世纪初,罗素悖论指出了康托尔集合论的矛盾。为了克服悖论,人们试图把集合论公理化,用公理对集合加以限制。

声明:业百科所有作品(图文、音视频)均由用户自行上传分享,仅供网友学习交流。若您的权利被侵害,请联系 yebaike@foxmail.com