数学/集合论著名定理

集合论是关于集合的数学理论。在朴素集合论中，集合被引入和理解使用的是被认为是自明的集合概念，即被视为一个整体的物体的集合。在公理化集合论中，集合和集合成员的概念是通过首先假设某些公理来间接定义的，这些公理规定了它们的性质。在这个概念中，集合和集合成员是像欧几里得几何中的点和线一样基本的概念，本身并没有被直接定义。

今天，当数学家谈论作为一门学科的集合论时，他们通常指的是公理化集合论。在其他领域中对集合论的非正式应用被称为朴素集合论的应用，但通常被理解为可以在公理体系（通常是策梅洛-弗兰克尔集合论）中证明。

证明按以下部分排列