集合论是数学的一个基本的分支学科，研究对象是一般集合。集合论在数学中占有一个独特的地位，它的基本概念已渗透到数学的所有领域。集合论或集论是研究集合(由一堆抽象物件构成的整体)的数学理论，包含了集合、元素和成员关系等最基本的数学概念。在大多数现代数学的公式化中，集合论提供了要如何描述数学物件的语言。集合论和逻辑与一阶逻辑共同构成了数学的公理化基础，以未定义的"集合"与"集合成员"等术语来形式化地建构数学物件。

按现代数学观点，数学各分支的研究对象或者本身是带有某种特定结构的集合如群、环、拓扑空间，或者是可以通过集合来定义的。从这个意义上说，集合论可以说是整个现代数学的基础。