本站可能随时打不开！请收藏保存发布地址：www.ltxsdz.com
这样，我们重复无数次，添加可数而无穷的公理。这样的话，我们无论使用了多少条公理，总有更强大的一条公理证明前面的公理一致无矛盾，那么，这个系统便称得上是无懈可击吧？“
“我也这么认为。可是。很遗憾，这种拥有无限公理的公理系统毫无意义。”王崎道：“我们必须先熟知一个公理系统当中所有的公理，才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理，我们便不可能知晓它能够陈述什么、判断什么……”
两个
的问答，越来越流利，也越来越畅快。渐渐的，周围的异动小了下来。
图灵真，分明是用更加系统化的方式、从更加
的角度，将他们察觉出的种种不足给问了出去。
而在这种前提之下，王崎还能够对答如流，无数有不完备衍生出的定理、对不完备证明的补充，还有新的算器技术，都在图灵真和王崎的一问一答当中展现了出来。
闵可夫哼了哼，不屑的在私聊当中低于：“双簧而已……他们两个绝对是对好了的。图灵就是一个托！”
何外尔苦笑：“可就算是托……那也是非同凡响的。至少，我是问不出
了。”
王崎和图灵真的问答，就是要在展示自己的理论是成体系的。
讲道的主题，被定死在不完备、不可判定。这个是不能变的。他们现在在做的，就是在问答环节展示自己的水准，堵住悠悠之。
纵然所有都看得出，这二在唱双簧，又怎么样？
现在问问题，十有八九就是撞到别的刀刃上，自取其辱！
这便是史上独一无二的，绝伦的双簧！
图灵真堂而皇之的将这一场问答，变成了他个与挖的劳伦。两个也是被激发出了灵感，讨论逐渐脱离了预定的内容，开始向更处发展。
这一下，就连能够
嘴的都很少了。
算君庞家莱看着问答中的两，摇摇
，只是冷笑：“这声
放得响，不算太臭。”
另一边，算主希柏澈至始至终一言未发。(未 完待续 ~^~)