它的大小严格地比整数多，又严格地比实数少。
这个命题，表述得严丝合缝，一个字都挑不出毛病。
可它偏偏在ZFC这套公理底下，既证不出来，也推不翻。
1940年，哥德尔先证了一半。
ZFC推不出它的否定，也就是说，你没法证伪它。
1963年，科恩补上了另一半。
ZFC同样推不出它本身，也就是说，你也没法证明它。
哥德尔和科恩的两头夹击，给出了数学史上最经典的“独立性”证明。
连续统假设在标准数学框架内是既不能被证明，也不能被证伪的。
它是一个“独立命题”。
所以怀尔斯那句反问，分量很重。
克雷要真把连续统假设挂上去，那一百万美金的奖金，可就成了永远发不出去的一张空头支票。
无论谁来挑战，无论他说真还是说假，都不可能在ZFC里，给你递上一份证明来。
格里芬张了张嘴，最後还是没有出声反驳。
可看他那神色，显然还憋着别的话要说。
就在这个时候，坐在长桌另一端的詹姆斯·阿瑟，示意大家夥儿先别急着吵。
他没去理会格里芬，而是看向了怀尔斯。
“怀尔斯教授，你跟李东教授比较熟。”
阿瑟斟酌着开口道。
“你说，咱们克雷数学研究所，有没有可能把他请进来？”
这话一出口，格里芬当即就站了起来。
“不可能！”他几乎是脱口而出，“他不够格！”
然而满屋子的委员，竟没一个站他的。
格里芬被这麽晾着，脸上有些挂不住，只好硬着头皮往下说：“他那点成果，根本……”
“根本”了半天，他自己都编不下去了，最後只憋出来一句。
“……他年纪太小了。”
坐在怀尔斯旁边的西蒙·唐纳森听了，倒是笑出了声。
“格里芬啊，年纪小怎麽了？”这位老人一脸的不在乎。
“我倒觉得，年纪小是好事，最起码，比咱们这几个老家夥要死得晚一些，往後能做出来的东西，说不定比咱们加起来还要多呢。”
“我看请进来，挺好。”说着，他转过头问道。
“怀尔斯教授，你觉得呢？”
怀尔斯听到这话，却是苦笑着摇了摇头。
…。。