包含皮亚诺算术的形式系统如果是一致的那么是不完备的，而且该系统的一致性不能在系统内部证明。”
    K“温柔”道：“说人话。”
    “简单说就是一个没有矛盾的公理体系，总会有一些命题是搞不清楚对还是错的，如果你发现一个命题通过现有的方法、公理和定理一直得不到证明，应该尝试扩展现有的方法和公理体系来进一步研究。”
    K纳闷道：“意思是一种方法解决不了问题就换一种方法，这也算定理？”
    “听起来很简单，但是，科学有时候比较宗教更容易让人陷入误区，尤其当一个人深入研究一项理论，就会对它深信不疑……”锡森博士摇了摇头，瞥了一眼李凉的背影，心不在焉道，“哥德尔不完备定理对科学发展的影响很深刻，一两句话说不清楚。”
    这时，李凉的声音传来：“K。”
    K起身走过去：“老大。”
    “有烟吗？”
    K微不可察地皱了下眉头，从口袋里摸出烟盒递了过去。
    李凉抽出一支烟点着，轻声问道：“有机会的话，你愿意永生么？”
    “可以不愿意吗？”
    李凉目视前方：“不可以。”
    K一脸无奈地转过头去，缓
 <本章未完请点击"下一页"继续观看!>