“接，讲，便希门主、歌庭派工习重概念！形式化。”
【推荐，野果阅读追书真，载 快试试吧。】
王崎话口，算君眉头沟壑。
身，更少黎派算几乎离愤怒。
算主希柏澈数。，算本质法却广诟病，绝数算难接受。
算主，算本质，“形式”。单独符号存任何义。符号排列“形式”才算。
比“1+1=2”初公式，“1”、“+”、“=”、“2”几符号义，完整等式具数义。
另边，歌庭派诸算复杂。脸露诡谲表，夹杂迷惘、愤怒。
“形式”理念包含致性、完备性、判定性。谓算主希柏澈、理喻追求。
否定份理，正王崎本。
王崎使算主思路，否决算主追求，否定歌庭派数十努力。
，复杂绪并影响王崎。
王崎明白，代表，，“正确”。
指涉并数描述它确实属逻辑，否属数待商榷，并非数承认点。球，神州，迹象。
“陈述法证明”，并非狭义数陈述。
哥德尔证明方法二步，将非数陈述或者准数陈述，转化数陈述。
球将称“哥德尔数化”。
或许神州，它叫做“王崎数化”吧？
“般理解完备候，很容易陷入重重参照迷雾。难拔。猜，约与康辈角线证法、穷基数违反等直觉关。正重原因，千百，辈才重理视见。”
“非解重迷雾。必须使形式化方法。”
王崎双放金光，幻化重重光幕，数算符飞舞，排列，罗列伟证明。
哥德尔证明完备定理二部分。其伟部分，。
“任何公理系统，运算符，够存公理，限。因此，公理、算符够罗列陈述，必定数穷数、元数零、数数。描述。”
“陈述，其长度必数。既数穷范畴内，数给它编号。每编号独二。”
“，建立集合‘’。集合‘’，便包括陈述‘编号’。公理系统内，陈述，必定编号内。”
……
讲进候，已经始脱离绝数够理解范畴。什“数穷”，什“基数”、“序数”。已经超理解范畴。
连显身场听王崎讲逍遥修士，几露迷惘色。
少每步，理解。，东西凑，究竟什数义？
完全明白！
更借助万仙幻境收“直播”今法修。则纷纷头昏脑涨。似简单证明，似乎包含穷魔力，仿佛将思维拖向深渊。
冯落衣叹口气，“字幕”方式。向通直播观修士进解释。
数化程，白“映射”。
算术系统符号、表达式表达式序列映射数通引进“哥德尔数”实象数化续。处理结果，数理逻辑其关分支，研究方法提供数字化工具，够方便讨论象转换数或数函数，够数理论讨论关问题。
将准数陈述转变具数义陈述。
“数化”义。
证明进入二阶段半段。歌庭派阵，艾克蛮轻轻叹息：“原始递归式啊……”
表包含十足惋惜与悔恨。
研究领域啊……若够再深入点，够避免今劫难？
几歌庭派修士立刻私聊：“艾兄，领域研究？步绊王崎绊？”
艾克蛮苦笑摇头。王崎步并做错。够将错吗？
，定决，回仔细研究往并被重视领域，
，场并知，数化证明超其本身义。
它递归论源泉。
递归论，正代逻辑重分支。
步，王崎证明进入尾声。
王崎次挥双。算符排列完备定理证明。
“全部程。”
全场寂静声。
算刻走向死亡。
“致性与完备性兼，算矛盾完备……”收直播许万法门弟，几乎哭。
王崎讲完完备定理证明，便讲坛边缘静坐片刻。今讲，便分四部分。部分，讲乃完备定理，接部分，讲则判定定理。
，才提问与结间。
逍遥修士，需定间吸收、理解东西。
闭目养神，似乎完全感觉周围巅顶修加身恶。
算举目皆敌何妨？求者领域，非斗法场合。任破，将正误逆转。
短暂休息，王崎重新走回讲坛央。因短暂修整窃窃私语声渐渐消失。数修士注力集王崎身。
条条毒蛇，寻找猎物害，力图击毙命。
王崎继续讲：“讲完‘全’，再‘非’判定定理。”
“判定定理部分完备定理，‘指涉’，便再赘述。直接进入判定定理证明二部分。”
“首先，，需感谢图灵真，感谢问题帮助，感谢提供等价证明法。”
“首先，介绍证明法，提，借助狭义图灵算器机制……二部分，图灵真称‘万法万象式’。它根据完备定理构造，完备致算法。”
王崎图灵真商量部分。
狭义图灵算器万法万象式图灵机λ算法，完备定理证明半段二阶段，超越证明本身潜力。它世，各展枝繁叶茂路。
图灵真很高兴，定理够被传扬。王崎需逍遥修士表示支持，让显势单力薄，让更算够追随，创算新。
二拍即合。
判定定理证明程，完备相比，显处理很。尤其部分，图灵机证明。故，几乎王崎讲述“傀儡审官”，蜃戏《银翼刺客》脉相承。
少属万法门修士，尤其“文艺”、“言”修持法门派，听津津味。听懂王崎理论，理解王崎理论背数义。，听懂故！脑海几乎浮穷故。
预见，未段间，“傀儡”将书口热门题材。
崩溃万法门弟，二方法显更兴趣。
薄笑风整处懵逼状态。“完备相矛盾系统”？东西真存？什算义吗？
王崎讲述，午始，酉钟。酉钟声神州敲响候，次讲，进入末尾。
“综述，做证明……”王崎深吸口气，讲两句话。
“，豪宣布，希门二十三问关键二问，十问已经圆满解决。算理基础，重致性、完备性、判定性证明，已经完。”
“算，便进入新代。”
鼓掌。
，感觉场革故鼎新变，或许真……(未完待续。)