神突然锐利起来:“你好像总是很喜欢走弯路。” “弯路?” 王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊?为什么是弯路? “我最近看到了一个思路,很奇特,很有趣。”冯落衣盯着王崎的眼睛,道:“将所有可建立集合同和成一个系统,在无限中比较无限的大小……” 王崎错愕:“有人想出来了?” 这就是当初哥德尔证明连续统假设的思路! 在zf公理允许的范围之内作推到,证明,若是zf公理系统具备一致性,则连续统假设为真。在zf公理体系之内,连续
如需阅读完整内容,请在手机端进行阅读。
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。