身，想着诸多前辈告了个罪，然后离开了这一处幻境。
幻境之中的讨论声依旧激烈。就连歌庭派最核心的逍遥算主最铁杆的支持者，都加入了讨论之中。
没有人愿意落后。
注意到这一般变化后，冯落衣笑了笑。
——话又说回来，王崎在这个时候抛出“不可判定”，也不是没有好处的。至少，它彻底摧毁了那些歌庭派逍遥大修的坚持，粉碎了他们几十年几百年依赖的心念，让他们能够正式这一次突破。
如果没有“不可判定定理”的话，那些逍遥修士，说不定还会将“判定性证明”作为最后的稻草，死死抓住不放，甚至希望能够从中找出和不完备相悖的东西，去反驳王崎。
当然，这也只是有可能罢了。冯落衣图灵真人这些最早摆脱过去知见障的天才，其实都隐隐判断出判定性证明的结果了。如果王崎没有在今天发表不可判定性定理的话，他们过一段时间也有机会做出来。
但是，这些逍遥修士的“挣扎”，只会让冯落衣觉得麻烦，认为有很多东西不好施展，还有可能让算主窥出端倪。
现在王崎脸这一点念想都不留给他们了，正好。
想到这里，冯落衣出声，止住了诸