# 康托尔对角线论证

> 康托尔证明实数集不可数的方法

- ID: m03209
- 分类: learn
- 领域: 认知科学

## 定义

康托尔证明实数集不可数的方法。通过构造对角线上的新实数，证明任何试图将实数与自然数一一对应的列表都会遗漏某些实数，从而证明实数集的基数严格大于自然数集。脚手架作用：无穷集合认知。揭示了不同层次无穷的存在，为理解集合论中的基数概念奠定了基础，对现代数学的多个分支产生了深远影响。

## 机制

康托尔对角线论证通过构造一个不在任何可数枚举中的实数，证明实数不可数，从而显示无穷也有大小之分（基数不同）。它是现代集合论的基石。

## 练习

假设实数可列并逐一列出小数；沿对角线取反构造新数；新数必与每一项不同故不在表中；矛盾说明不可数。

## 脚手架用法

无穷集合认知。揭示了不同层次无穷的存在，为理解集合论中的基数概念奠定了基础，对现代数学的多个分支产生了深远影响。

[阅读网页](https://thinkingmodels.site/entries/detail/m03209)