集合论（）或称集论，是研究集合（由一堆抽象对象构成的整体）的数学理论，包含集合和元素（或称为成员）、关系等最基本数学概念。在大多数现代数学的公式化中，都是在集合论的语言下谈论各种。集合论、命题逻辑与谓词逻辑共同构成了数学的公理化基础，以未定义的「集合」与「集合成员」等术语来形式化地建构数学物件。现代集合论的研究是在1870年代由俄国数学家康托尔及德国数学家理察·戴德金的朴素集合论开始。在朴素集合论中，集合是当做一堆物件构成的整体之类的自证概念，没有有关集合的形式化定义。在发现朴素集合论会产生一些后，二十