公理化集合论

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