朴素集合论

数学的一个分支，试图使用最少的独立公理来形式化集合的本质。不幸的是，正如最早的支持者所发现的那样，朴素集合论很快就遇到了许多悖论（例如罗素悖论），因此必须使用一种不太广泛且更正式的理论，即公理集合论。