学基础之一，特别是 ZFC 集合论。除了其基础的作用外，集合论也是数学理论中的一部份，当代的集合论研究有许多离散的主题，从实数线的结构到大基数的一致性等。
历史.现代集合论的研究开始于1870年代由康托尔及理察·戴德金提出的朴素集合论。一般数学主题的出现及发展都是由多名研究者的互动中产生的，但朴素集合论的开始是1874年康托尔的一篇论文《On a Characteristic Property of All Real Algebraic Numbers》。而在稍早的1873年12月