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