康托尔证明了实数不可数，但没有证明实数是阿列夫一。
散仙谷 http://www.webjb.org/webjb/sanxian/
送交者: 老道 于 2026-08-04 08:11:08
回答: 证明了实数不可数，但是没证明实数是阿列夫一 由 于 2026-08-04 01:34:17
对角线法只证明了实数与自然数之间不存在一一对应。这是一个否定性命题。它没有证明实数的基数就是阿列夫一。
要证明实数是阿列夫一，需要证明两件事。一是实数不可数，二是没有任何一个基数介于自然数的基数和实数的基数之间。对角线法只完成了第一件，第二件是连续统假设的内容。康托尔假设实数是阿列夫一，但他证明不了。哥德尔和科恩后来证明了连续统假设在ZFC中既不能证明也不能证伪。所以实数是阿列夫一不是一个已被证明的定理，它是一个未经证明的假设，甚至是一个无法被证明的假设。
对角线法只证明了不可数，没证明它是下一个无穷。这就像你证明了某个数不是一，然后说所以它是二。但中间可能还有一点五、一点七、根号二，你还没有排除它们。同样，对角线法只是说实数不是阿列夫零，但没有排除实数的基数可能是阿列夫零点五，如果基数可以不是整数的话。即使只考虑整数指标，你也没有排除阿列夫二、阿列夫三。要证明它是阿列夫一，你必须证明阿列夫零和实数之间没有其他基数，这正是连续统假设的内容，而它在ZFC里是独立的，既不能证明也不能证伪。
所以实数是阿列夫一不是一个已被证明的定理，它是一个未被证明的假设，甚至是一个无法被证明的假设。
你相当有水平！
阅读次数：41
所有跟贴:
加跟贴
所有跟贴·加跟贴·ɢɹ
Copyright © 2000 - 2020 webjb.org