naive set theory
这导致 我们想到朴素集合论(naive set theory)和ZFC 集合论，前者是自相矛盾的， 后者存在不可判定命题，比如 CH。容易证明，前者的公理蕴涵后者的所有公理。
基于2570个网页-相关网页
在纯数学中，朴素集合论是探讨数学基础时，用到的几个集合论中的一个，朴素集合论主要是将用一般语言的形式处理集合问题，依赖于把集合作为叫做这个集合的“元素”或 “成员”的搜集，未有形式化的理解。和用公理定义而产生的公理化集合论不同。
详细内容
应用推荐
模块上移
模块下移
不移动