第四百二十三章 我们（八）（2/2）

「早上吃什么？」

「去中京吃吧，我知道一家很好的早茶店，就在一番街……」

锡森博士张了张嘴巴，看向李凉。

「嗯……我会把您的发现转告李爽，」李凉抿了抿嘴唇，「有东西要收拾吗？」

「呃…没有。」

「那走吧，我们去中京吃早饭。」

锡森博士站在原地没动，纳闷道：「我没说清楚？」

李凉笑了笑：「说清楚了，就是下次……最好先说结论。」

————————

特勤舰离开新澳城，穿越黎明前的黑暗，飞向中京。

指挥舱中央，李凉静静站在驾驶飞船的仿生人身后，似乎在观察仿生人的操作。

角落里，K揽着锡森博士，低声问道：「那个什么哥特尔定理是什么意思？」

附近的该隐和水野同时看了过来。

锡森博士这会儿有点心虚，干笑了两声说道：「一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的，而且该系统的一致性不能在系统内部证明。」

K「温柔」道：「说人话。」

「简单说就是一个没有矛盾的公理体系，总会有一些命题是搞不清楚对还是错的，如果你发现一个命题通过现有的方法、公理和定理一直得不到证明，应该尝试扩展现有的方法和公理体系来进一步研究。」

K纳闷道：「意思是一种方法解决不了问题就换一种方法，这也算定理？」

「听起来很简单，但是，科学有时候比较宗教更容易让人陷入误区，尤其当一个人深入研究一项理论，就会对它深信不疑……」锡森博士摇了摇头，瞥了一眼李凉的背影，心不在焉道，「哥德尔不完备定理对科学发展的影响很深刻，一两句话说不清楚。」

这时，李凉的声音传来：「K。」

K起身走过去：「老大。」

「有烟吗？」

K微不可察地皱了下眉头，从口袋里摸出烟盒递了过去。

李凉抽出一支烟点着，轻声问道：「有机会的话，你愿意永生么？」

「可以不愿意吗？」

李凉目视前方：「不可以。」

K一脸无奈地转过头去，缓缓擡起手，比了个大拇指。