连续统假设 (Continuum Hypothesis, CH)

领域: 集合论
提出者: 格奥尔格·康托尔
来源: <a href="/SidneyZhang/myWiki/src/branch/main/concepts/%E5%93%A5%E5%BE%B7%E5%B0%94%E4%B8%8D%E5%AE%8C%E5%A4%87%E5%AE%9A%E7%90%86%E6%95%99%E7%A8%8B" rel="nofollow">godel-incompleteness-tutorial

概述

不存在一个集合，其基数严格介于自然数集和实数集之间（2^ℵ₀ = ℵ₁）。希尔伯特 23 个问题之首。哥德尔（1940）证明 CH 与 ZFC 相对一致，科恩（1963）用力迫法证明 CH 独立于 ZFC——这是godel-incompleteness-theorems精神的典型体现。

📌 占位符页面 — 待补充完整内容。