朴素集合论的英文
naive set theory
百科释义
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加仔细的构架为公理化集合论。朴素集合论区别于公理化集合论在于，前者依赖把集合作为叫做这个集合的“元素”或 “成员”的对象（客体）的搜集（collection）的对集合的非形式理解的事实，而后者只使用可以从明确定义的公理列表证明的关于集合和成员关系的事实（公理起源自我们对对象的搜集和它们的成员的理解，但为了各种目的而被仔细的构架，包括但不限于避免已知的悖论）。
详细百科解释
