在数学中,公理化集合论是集合论透过建立一阶逻辑的严谨重整,以解决朴素集合论中出现的悖论。集合论的基础主要由德国数学家格奥尔格·康托尔在19世纪末建立。

严谨集合论的源起

引用

www.zuoweixin.com
问题反馈联系QQ:暂无联系方式,也可发qq邮箱。