对角线论证：一种能证明"不可能"的万能手术刀

对角线论证的真正威力不在于证明"某个特定的无穷比另一个大"，而在于它提供了一种通用的"不可能性证明"范式——假设你能穷举，然后构造一个漏网之鱼。这个范式从康托尔的集合论出发，经过图灵的停机问题，成为计算机科学中最重要的证明工具之一。