樸素集合論

數學的一個分支，試圖使用最少的獨立公理來形式化集合的本質。不幸的是，正如最早的支持者所發現的那樣，樸素集合論很快就遇到了許多悖論（例如羅素悖論），因此必須使用一種不太廣泛且更正式的理論，即公理集合論。