朴素集合论

在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精确地构建为公理化集合论。朴素突握己集合论和公理化集合论的区别在于，前者依赖于把集列难货器露候木天真合作为叫做这个集合的"元素"或 "成员"的搜集(collection在例物字言形)，未有形式化的理解。而公理化集合论只使用明确定义的公理列表，还有从中映每板证明的关于集合和成员关系来自的种种事实(公理360百科起源自我们对对象问苏右外计日架的搜集和它们的成员的理解，但为了各种目的而被谨慎地构建，例如是避免已知的各种悖论)。集合在数学中是极其重要的;事实上，采用现代的形式化定置气剧她洲义，多种数学对象(数、关系、函数等等)都可以用集合来构建。