第三中文网

第2章 两位挂逼的跨洋对话（第2页）

（）;（）　　“不，应该说不是康托集合上的错误，而是他这题出的很巧妙，向连续统假设上引。”

“这里说康托证明实数集合不可数用的是区间套方法和对角线方法。”

“在这两个证明中用的是反证法。”

“而实数集合不可数就是连续统假设。”

“连续统假设没证明成功，自然是康托的错误。”

“嘿……”

叶非好笑：“这人真鸡贼，这不妥妥的标题党吗！”

“嗯……”

叶非沉吟片刻，突然眼前一亮：“倒是可以这样解啊！”

“虽然不能完全证明出连续统假设，但这个思路也许能解出一些小问题。”

说完，叶非在下面留言。

【证明：首先证明，因为对于任一x∈s，令?（x）=x，且x1≠x2时……】

北丽国，麻省理工博士生宿舍！

一位黄皮肤青年，正撑着下巴无聊的看着电脑屏幕上，等待有人回他消息。

青年叫高飞，夏国人，麻省理工博士。

他主要研究的东西不是集合论，只是最近有研究触及到集合论了。

研究集合论自然要研究连续统假设。

所以，在两个小时前，他发了一篇关于实数集合的帖子到StackExchange。

为了吸引流量，他特意写康托在集合论中有错误，他经常这么做，屡试不爽，每次都能吸引一大波人。

偶尔能吸引来某位大佬的留言，能让他对数学的研究豁然开朗。

修长的手指滑动着鼠标滚轴，浏览着网页。

“嗯？”

他突然停住动作，直起身子，定眼看去。

“用罗素悖论证明实数集合不可数？”

他双眸闪烁，拿过一旁的纸笔计算。

片刻后，他兴奋的道：“就是如此，但他说的并不完美，还应该如此。”

他快速在叶非的留言下留言。

【感谢你的回复，让我找到灵感，但我觉得还应该进行如下补充。

假若x∈s成立，根据（3）式中对s中元素的要求……