第七章 未来(2/4)
我们不能根据系统本身证明这个📉系统。但是可🁭🉅🄷以通过另一个系统来证明它。
王崎在五六年前就做过相关的理论研究。
正是，布尔巴基学派的思想！
从外部证明！
布尔巴基学派，本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后，重新🅖🆢衍生出来的东西。若是按照神州的分类🝀🈀法，同样属于离宗一系。而按照布尔巴基学派理论推演出的修法。也正好能够支撑因为不完备律而崩散的🎩法力系统。
贾维斯给出🅘的支援，正在重新导正王崎体内崩散的法力。
与此同时，王崎的论文也接近了尾声。
“结论……由此，我可以证明，对于任意的算学系统，如果其中包含了算🟂🚙📰术系统的话，那么这个系统不可能同时满足完备性和一致性。对于任意的算🚎💌术系统，如果其中包含了算术系统的话，那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可得兼，这个系统要么自相矛盾。🁦要么存🉃🄦⛝在着既不能证明也不能证伪的命题！
轰隆！
王崎脑海中如有一道雷光🐂☭炸响。他感觉到神清气爽，从来就没有这么🞷清醒过🔪🃙😏。
而另一方面，他的法力系统崩散又重聚，几乎等于是经历了一次涅槃。他的修为依旧是结丹初期🉆🅁🃤，但是修法本质却隐有升华。
啪啪啪啪啪……
空🗆气🎻🖖💧当中传来了一连串脆响，如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来，然后又坐下，想了想。重新拿起一张纸，写了一个附录，再次声明哥德🂽🔒⛩尔💐👁🅹不完备定律的本质。并附上他这几年断断续续做的🙠🜪，有关于“超限归纳法算术公理化”的论文。
就连他本人，在写这篇论文的时候，遭遇了修法的大🁦崩溃🖊🐹。🉃🄦⛝若是其他人，又会怎么样？
所以，必须得附加一点“保险措施”才行。
哥德尔⚦📫不完备定率虽然在数学史当中占据了及其重要的地位，但是证明过程相对来说比较简单，论文整体很短。以王崎的思维哦速度和手速，整篇论文个把🀾小时就写完了。
他推🎻🖖💧门出来🅘。陈由嘉突然扑了过来，揪住他的衣领，呵斥道：“你究竟在搞什么鬼？”
“写论文……”
王崎在五六年前就做过相关的理论研究。
正是，布尔巴基学派的思想！
从外部证明！
布尔巴基学派，本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后，重新🅖🆢衍生出来的东西。若是按照神州的分类🝀🈀法，同样属于离宗一系。而按照布尔巴基学派理论推演出的修法。也正好能够支撑因为不完备律而崩散的🎩法力系统。
贾维斯给出🅘的支援，正在重新导正王崎体内崩散的法力。
与此同时，王崎的论文也接近了尾声。
“结论……由此，我可以证明，对于任意的算学系统，如果其中包含了算🟂🚙📰术系统的话，那么这个系统不可能同时满足完备性和一致性。对于任意的算🚎💌术系统，如果其中包含了算术系统的话，那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可得兼，这个系统要么自相矛盾。🁦要么存🉃🄦⛝在着既不能证明也不能证伪的命题！
轰隆！
王崎脑海中如有一道雷光🐂☭炸响。他感觉到神清气爽，从来就没有这么🞷清醒过🔪🃙😏。
而另一方面，他的法力系统崩散又重聚，几乎等于是经历了一次涅槃。他的修为依旧是结丹初期🉆🅁🃤，但是修法本质却隐有升华。
啪啪啪啪啪……
空🗆气🎻🖖💧当中传来了一连串脆响，如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来，然后又坐下，想了想。重新拿起一张纸，写了一个附录，再次声明哥德🂽🔒⛩尔💐👁🅹不完备定律的本质。并附上他这几年断断续续做的🙠🜪，有关于“超限归纳法算术公理化”的论文。
就连他本人，在写这篇论文的时候，遭遇了修法的大🁦崩溃🖊🐹。🉃🄦⛝若是其他人，又会怎么样？
所以，必须得附加一点“保险措施”才行。
哥德尔⚦📫不完备定率虽然在数学史当中占据了及其重要的地位，但是证明过程相对来说比较简单，论文整体很短。以王崎的思维哦速度和手速，整篇论文个把🀾小时就写完了。
他推🎻🖖💧门出来🅘。陈由嘉突然扑了过来，揪住他的衣领，呵斥道：“你究竟在搞什么鬼？”
“写论文……”