公理化集合論

在數學中 ， 公理化集合論是集合論透過建立一階邏輯的嚴謹重整 ， 以解決樸素集合論中出現的悖論 。 集合論的基礎主要由德國數學家格奧爾格 · 康托爾在19世紀末建立 。