对角线方法之后的故事
这篇讲的是数学史上一个里程碑时刻——康托尔如何用简洁到令人窒息的证明，揭示了“无穷”之间竟然也存在等级差异。文章从1874年康托尔首次证明实数不可数讲起，当时他的方法比较迂回，理解门槛较高。真正的高潮在1891年，康托尔提出了著名的“对角线方法”，这个证明极其直观：通过假设一个数列已包含所有实数，然后构造一个与数列中每一项都不同的新实数，从而导出矛盾。 这个巧妙的论证像一把钥匙，瞬间打开了理解“不可数无穷”的大门。它不再依赖复杂的技巧，仅凭简单的逻辑就能展示实数比有理数“多得多”这个反直觉的事实。对于初次接触集合论的人来说，这个证明的优雅与冲击力常常让人印象深刻，它清晰地告诉我们：并非所有无穷都生而平等，实数构成的无穷在“数量级”上确实更高一维。