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