公理化集合論是什麼

集合論，是數學的一個基本的分支學科，研究對象是一般集合。集合論在數學中佔有一個獨特的地位，它的基本概念已滲透到數學的所有領域。集合論或集論是研究集合（由一堆抽象物件構成的整體）的數學理論，包含了集合、元素和成員關係。在公理化集合論中，集合和集合成員並不直接被定義，而是先規範可以描述其性質的一些公理。在此一想法之下，集合和集合成員是有如在歐式幾何中的點和線，而不被直接定義。