集合论是数学的一个基础分支，处理集合的研究，即对象组合。所有通常教授的所有数学都是通过集合论的语言表述的，并且建立在集合论公理的基础上。在代数、分析、几何、随机论或拓扑学等子领域中处理的大多数数学对象都可以定义为集合。与此相衡量，集合论是一门相当年轻的科学；仅在 20 世纪初期克服了数学中的基础危机，集合论才能占据其在当今数学中的核心和基础地位。
