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

Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using a formal logic, naive set theory is defined informally, in natural language. It describes the aspects of mathematical sets familiar in discrete mathematics (for example Venn diagrams and symbolic reasoning about their Boolean algebra), and suffices for the everyday usage of set theory concepts in contemporary mathematics.