公理的公理集合論

公理集合論是數理邏輯的主要分支之一，是用公理化方法重建集合論的研究以及集合論的元數學和集合論的新的公理的研究。

19世紀70年代，德國數學家G康托爾給出了一個比較完整的集合論，對無窮集合的序數和基數進行了研究。20世紀初，羅素悖論指出了康托爾集合論的矛盾。為了克服悖論，人們試圖把集合論公理化，用公理對集合加以限制。