朴素集合论

维基百科,自由的百科全书
跳转至: 导航搜索

纯数学中,朴素集合论是由德国数学家康托尔最早创立的第一个集合论,它后来被更加精確地构建为公理化集合论
朴素集合论和公理化集合论的區別在于,前者依赖於把集合作为叫做这个集合的“元素”或 “成员”的搜集(collection),未有形式化的理解
公理化集合论只使用明确定义的公理列表,還有從中证明的关于集合和成员关系的種種事实(公理起源自我们对对象的搜集和它们的成员的理解,但为了各种目的而被謹慎地构建,例如是避免已知的各種悖论
集合在数学中是极其重要的;事實上,採用现代的形式化定義,多種数学对象(关系函数等等)都可以用集合来構建。

参见[编辑]