绿色箭头代表可能的映射关系，红色箭头代表不可能的映射关系。圆圈表示集合或子集。
**康托尔定理**（Cantor's theorem）指的是在ZFC集合论中，声称任何集合*A*的幂集（所有子集的集合）的势严格大于*A*的势。康托尔定理对于有限集合是明显的（有限的集合的冪集的個數為集合個數 n 的 2^{n}），但是令人惊奇的是它对于无限集合也成立。同時證明了，可数无限集合構造的冪集的基數是不可数无限，以此創造出不可數無限的概念。

歸謬法證明
-----

證明：對任何的集合 S，它的元素與冪集 {\mathcal {P}}(S) 的元素之間不可能存在一一對應（雙射）的關係。

（利用歸謬法）假設：可以找到一個集合 A 和一個函數{\displaystyle f:A\to {\mathcal {P}}(A)}，它使得兩個集合之間的全部元素都配對且僅配對一次。

對於 A 中的任意元素s，顯然s 或者屬於f(s)或者不屬於f(s)。

我們假設 {\displaystyle T=\{x\in A\,|\,x\notin f(x)\}}，则 {\displaystyle T\in {\mathcal {P}}(A)}；由假设知存在 {\displaystyle x} 使得 {\displaystyle f(x)=T}.

（1）如果{\displaystyle x\in T}，由 T 的定義，{\displaystyle x\notin f(x)}，既然{\displaystyle f(x)=T}，那就推得 {\displaystyle x\notin T}.

（2）如果{\displaystyle x\notin T}，由 T 的定義，{\displaystyle x\in f(x)}，既然{\displaystyle f(x)=T}，那就推得 {\displaystyle x\in T}.

兩者都矛盾。因此我們對於存在函數 f 的假設是不成立的。證明完畢

對角線證明法
------

集合的個數為可数无限时。不失一般性，我们用自然数構造的集合來討論。

要證明：對於自然數 **N** 和它的幂集 {\displaystyle {\mathcal {P}}(N)}，不存在一個双射函數 {\displaystyle f:N\to {\mathcal {P}}(N)}

（利用歸謬法）假設：自然數 **N** 和它的幂集 {\displaystyle {\mathcal {P}}(N)}，存在一個双射函數 {\displaystyle f:N\to {\mathcal {P}}(N)}

那麼我們就可以有序的將所有「對應」表列如下（這裡的數字只是示例），表中含有所有「自然數構成的集合」：

X{\begin{Bmatrix}1&\Longleftrightarrow &\{4,5\}\\2&\Longleftrightarrow &\{1,2,3\}\\3&\Longleftrightarrow &\{4,5,6\}\\4&\Longleftrightarrow &\{1,3,5\}\\\vdots &\vdots &\vdots \end{Bmatrix}}P({\mathbb {N}})

雖然元素的順序不重要，不過我們假設從左到右以由小到大的方式記錄冪集合中的元素，方便討論。

我們以這樣的表構造集合W，構造方式為：

當左側的自然數「屬於」它對應的冪集合，我們就在 W 裡面記錄「不存在」這個自然數。

反之當左側的自然數「不屬於」它對應的冪集合，我們就在 W 裡面記錄「存在」這個自然數。

  

  

以上表為例：

{\displaystyle 1\Longleftrightarrow \{4,5\},1\notin \{4,5\}}，我們定義 {\displaystyle 1\in W} 。（顯然 W不可能和這一項的冪集合相同）

{\displaystyle 2\Longleftrightarrow \{1,2,3\},2\in \{1,2,3\}}，我們定義 {\displaystyle 2\notin W}。（顯然 W不可能和這一項的冪集合相同）

...... 

  

以此規則構造的 W 和表中每一個冪集合都不同，所以它不可能在表中。

W 是自然數構成的集合，所以它必然在表中。

得到矛盾。假設的f 並不成立，說明 {\displaystyle {\mathcal {P}}(N)} 的势和自然數的势不相等。依照冪集合的定義{\displaystyle {\mathcal {P}}(N)}包含所有自然數的子集，所以我們得到{\displaystyle {\mathcal {P}}(N)} 的基數大于**N**的基數。證明完畢。

历史
--

格奥尔格·康托尔在1891年发表的论文《Über eine elementare Frage der Mannigfaltigkeitslehre》中本质上给出了这个证明，实数不可数的对角论证法也首次在这里出现。在这个论文中给出的这个论证的版本使用的是在集合上的指示函数而不是集合子集。他证明了如果*f*是定义在*X*上的函数，它的值是在*X*上的二值函数，则二值函数*G*(*x*) = 1 − *f*(*x*)(*x*)不在*f*的值域中。

罗素在《数学原理》（1903, section 348）中给出了一个非常类似的证明，在这里他证明了命题函数要比对象多。"假设所有对象和所有和它们相关的命题函数之间有一种对应，并令phi-*x*为*x*所对应的命题函数。则'非-phi-*x*(*x*)'，也即"phi-*x*对于*x*不成立",是一个在这个对应中没有出现的命题函数；因为它在phi-*x*假的时候为真，在phi-*x*真的时候为假，因此它和任何一个*x*所对应的phi-*x*不同"。他在康托尔之后贡献了这个想法。

恩斯特·策梅洛在他1908年发表的成为现代集合论基础的论文《Untersuchungen über die Grundlagen der Mengenlehre I》中有一个定理（他称之为康托尔定理）同于上面的论证形式。

康托尔定理的一个推论请参见beth数。

参考资料
----

### 引用

1. ↑  Stenphen Fletcher Hewson, 数学桥——对高等数学的一次观赏之旅 ：1.1.7 超越無限大.. 上海科技教育出版社. 2010/8/7: p.12. ISBN 978-7-5428-4981-6.  请检查`|date=`中的日期值 (帮助) 引文格式1维护：冗余文本 (link)

### 来源

* Paul Halmos, *Naive set theory*. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
* Jech, Thomas, 2003. *Set Theory: The Third Millennium Edition, Revised and Expanded*. Springer. ISBN 3-540-44085-2.

参见
--

* 康托尔悖论

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数理逻辑 |
| --- |
|  |
| 基本概念 | 
* 公理
	+ 列表
* 势
* 一阶逻辑
* 形式证法（英语：）
* 邏輯語義學
* 数学基础
* 信息论
* 蕴涵
* 结构
* 集合
* 定理
* 形式理论
* 类型论

 |
|  |
| 定理（列表（英语：）及悖论（英语：）） | 
* 哥德尔完备性定理及哥德尔不完备定理
* 塔斯基不可定義定理
* 巴拿赫-塔斯基定理
* 康托尔 定理、悖论和對角論證法
* 紧致性定理
* 停机问题
* 林德斯特伦定理（英语：）
* 勒文海姆–斯科伦定理
* 罗素悖论

 |
|  |
| 逻辑 | 

|  |  |
| --- | --- |
| 传统逻辑 | 
* 邏輯真理
* 恆真式
* 命题
* 推理
* 逻辑等价
* 一致性
	+ 相同一致性（英语：）
* 逻辑论证
* 可靠性定理
* 有效性
* 直言三段论
* 对立四边形
* 文氏图

 |
|  |
| 命题逻辑 | 
* 逻辑代数
* 布尔函数
* 逻辑运算符
* 命题逻辑
* 命题公式
* 真值表
* 多值逻辑
	+ 三值
	+ 有限值（英语：）
	+ 无限值（英语：）

 |
|  |
| 经典逻辑 | 
* 经典逻辑
* 一阶逻辑
* 二階邏輯
	+ 一元（英语：）
* 高阶逻辑
* 自由逻辑
* 量化
* 谓词（英语：）
* 一元谓词演算

 |

 |
|  |
| 集合论 | 

|  |
| --- |
| 
* 集合
	+ 遗传集（英语：）
* 类
* （基本）元素
* 有序对
* 序数
* 子集
* 相等
* 外延性
* 力迫
* 关系
	+ 等价关系
	+ 集合划分
* 集合运算
	+ 交集
	+ 并集
	+ 补集
	+ 笛卡儿积
	+ 冪集
	+ 同一性（英语：）

 |
|  |
| 集合种类 | 
* 可數集
* 不可數集
* 空集
* 居集（英语：）
* 单元素集合
* 有限集合
* 无限集合
* 传递集合
* 超滤子（英语：）
* 递归集合
* 模糊集
* 全集
	+ 可构造全集（英语：）
	+ 格伦迪克全集（英语：）
	+ 冯·诺伊曼全集

 |
|  |
| 映射与势 | 
* 函数、映射
	+ 定义域
	+ 到达域
	+ 像
* 单射、满射、双射
* 康托尔-伯恩斯坦-施罗德定理
* 同构
* 哥德尔数
* 列举法
* 大基数
	+ 不可達基數
* 阿列夫數
* 运算
	+ 二元运算

 |
|  |
| 集合理论 | 
* 策梅洛-弗兰克尔 (ZFC)
	+ 选择公理
	+ 连续统假设
* 广义集合论 (GST)（英语：）
* 克里普克-普拉克 (KP)（英语：）
* 莫尔斯-凯利集合论 (MK)（英语：）
* 朴素集合论
* 新基础集合论
* 塔斯基-格罗滕迪克 (TG)（英语：）
* 冯·诺伊曼-博内斯-哥德尔 (NBG)
* 建构式集合论（英语：）

 |

 |
|  |
| 句法（英语：）及语言 | 

|  |
| --- |
| 
* 字母表
* 元数
* 自動機理論
* 公理模式
* 表達式
	+ 基础表达式（英语：）
* 扩展（英语：）
* 关系
* 形式
	+ 文法
	+ 语言
	+ 证明
	+ 系统
	+ 理论
* 形成规则（英语：）
* 合式公式
	+ 原子公式
	+ 封闭式
	+ 基本式（英语：）
	+ 开放式
* 自由变量和约束变量
* 元語言
* 逻辑运算符
	+ ¬
	+ ∨
	+ ∧
	+ →
	+ ↔
	+ 逻辑相等（英语：）
* 谓词（英语：）
	+ 泛函谓词
	+ 谓词变量
	+ 命题变量
* 量化
	+ ∃
	+ !
	+ ∀
	+ 级别（英语：）
* 句子
	+ 原子句子
* 逻辑签名（英语：）
* 字符串
* 替换法（英语：）
* 逻辑符号
	+ 函数符号
	+ 逻辑常量（英语：）
	+ 非逻辑符号（英语：）
	+ 變數
* 逻辑术语（英语：）

 |
|  |
| 公理系统示例（列表（英语：）） | 
* 实算术（英语：）
	+ 皮亚诺公理
	+ 二阶（英语：）
	+ 初等函数（英语：）
	+ 原始递归（英语：）
	+ 罗宾逊算术（英语：）
	+ 斯科勒姆算术（英语：）
* 實數的構造
	+ 塔尔斯基公理化（英语：）
* 布尔代数
	+ 正则定义（英语：）
	+ 最小公理（英语：）
* 几何（英语：）
	+ 欧几里得几何
	+ 《原本》
	+ 希尔伯特公理
	+ 非欧几里得几何
	+ 塔尔斯基公理（英语：）
* 《数学原理》

 |

 |
|  |
| 证明论 | 
* 形式证明
* 自然演绎
* 蕴涵
* 推理规则
* 相继式演算
* 定理
* 系统
	+ 形式
	+ 公理
	+ 演绎
	+ 希尔伯特演绎系统
		- 列表（英语：）
* 完备理论（英语：）
* ZFC系统的独立性（英语：）
	+ 列表
* 不可能证明（英语：）
* 序数分析（英语：）
* 逆数学
* 自恰理论（英语：）

 |
|  |
| 模型论 | 
* 解释
* 结构
	+ 初等等价
	+ 有限模型（英语：）
	+ 飽和模型
	+ 子结构
* 非标准模型
	+ 算术（英语：）
* 结构图（英语：）
	+ 基本图（英语：）
* 分类理论（英语：）
* 完备模型论（英语：）
* 可满足性（英语：）
* 邏輯語義學
* 强度（英语：）
* 真理
	+ 语义理论
	+ 塔尔斯基
	+ 克里普克
* T-模式
* 转移原则（英语：）
* 真理谓词（英语：）
* 真值
* 型
* 超積
* 有效性

 |
|  |
| 可计算性理论 | 
* 邱奇数
* 邱奇-图灵论题
* 递归可枚举集合
* 可计算函数
* 递归集合
* 決定性問題
	+ 可决定性（英语：）
	+ 不可决定性
	+ P
	+ NP
	+ P/NP问题
* 柯氏复杂性
* Λ演算
* 原始递归函数
* 递归
* 递归集合
* 图灵机
* 类型论

 |
|  |
| 其他相关 | 
* 抽象逻辑（英语：）
* 范畴论
* 具象范畴、抽象范畴
* 集合范畴
* 逻辑史
* 数理逻辑
	+ 历史年表（英语：）
* 邏輯主義
* 数学对象
* 数学哲学
* 超任务（英语：）

 |
|  |
|  **数学主题** |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理（英语：）

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 托马斯·耶赫（英语：）
* 威拉德·蒯因

 |

 |