集合论，是数学的一个基本的分支学科，研究对象是一般集合。集合论在数学中占有一个独特的地位，它的基本概念已渗透到数学的所有领域。集合论或集论是研究集合（由一堆抽象物件构成的整体）的数学理论，包含了集合、元素和成员关系等最基本的数学概念。在大多数现代数学的公式化中，集合论提供了要如何描述数学物件的语言。集合论和逻辑与一阶逻辑共同构成了数学的公理化基础，以未定义的“集合”与“集合成员”等术语来形式化地建构数学物件。在朴素集合论中，集合被当做一堆物件构成的整体之类的自证概念。在公理化集合论中，集合和集合成员并不直接被定义，而是先规范可以描述其性质的一些公理。在此一想法之下，集合和集合成员是有如在欧式几何中的点和线，而不被直接定义。集合论是研究集合的结构、运算及性质的一个数学分支。现代数学这一最重要的基础理论是康托在19世纪70、80年代创立的。由平面(或空间)上一些点组成的集，称为“点集”。一个点集可以是某些孤立的点，也可以是某曲线上或某区域内的所有点。可以把各种几何图形看成是一个点集，然后研究它所包含的点在位置及数量关系方面的共同特征，这样往往能够得到比直观更为深刻的结论。