苏君宇摇摇头：“我现在也只是初步敲定了流程，具体的东西还是得慢慢做……”
“有流程就了不起了！你没看到歌庭派的那些家伙吗？近百年未有寸进啊！”白泽神君毫不在意：“说起来，你的结论是什么？”
苏君宇举起自己的草稿纸：“就是这个。若集合论公理具有一致性，则连续统假说为真。实际上，在集合论的范畴你，你根本就没办法证伪集合论。”
“‘若是现存之集合论公理相容一致，则连续统为真。’……”
在白泽神君读出这句话之后，周围的气氛微妙的冷了一下。
白泽神君有些尴尬：“这个……孩子啊，你有没有想过集合论公理的一致性如何证明？若是这个系统乃是不可相容、不一致的呢？”
“啊？”苏君宇眨眨眼：“不一致……”
在不完备的打击之下，集合论现在就像个筛子一样，似乎不堪一击。
苏君宇眨眨眼睛：“对哦，似乎有人证明集合论不完备……没道理它一定是一致性的……”
项琪左看看右看看，然后迟疑的出声道：“那个……从刚才开始我就没听懂了……这个，苏君宇这家伙，现在是做了，无用功？”
“也不是无用功。几年前，我们就证明了许多系统的一致性，现在依旧可以。不全之律，只不过是说‘完备性和一致性不能同时存在’。”冯落衣从众人背后越了出来，站到众人面前，道：“这个方向，我觉得可以做一做。”(未完待续。)
ps： 月初求月票！月票！月票！
