係數學入面,樸素集合論(英文:Naive set theory)係集合論嘅一種,已經有「元素」、「集合」、「屬於」等等嘅概念,但係由於無公理化嘅處理,係呢個集合論入面存在一啲悖論。
樸素集合論容許用任何嘅性質嚟做成一個集,但係咁就會出問題,即係做成悖論,一個出名嘅例子就係羅素悖論:定義一個集合 X {\displaystyle X} ,佢裝住所有「唔裝住自己嘅集合」,無論 X {\displaystyle X} 裝唔裝住自己,都會造成矛盾。所以任何集合論系統如果相無矛盾嘅話,都要限制可以做成集合嘅性質。