素朴集合論と公理的集合論の違い
素朴集合論は自然言語で集合論を定義している。自然言語が持つ曖昧さがある。
公理的集合論は記号論理学で集合論を定義していて、公理から出発して論理学的に証明をしていくことで成り立っている。
通常はZFC公理系が使われる。
実際の所、ほとんど素朴集合論と同じ結果になる。