尊香炉，几丝青烟缭绕。整间屋任何光源，知何光，将房间每寸照亮。幅宣纸案齐齐整整码。书斋主更加偏软笔，因此书桌方砚台。砚墨，均匀粘稠，似油似水。杆毛笔隔。
墨，仿佛等待，等待变惊世文章刻。
实际，墨似新磨，砚台带法术效果。杆笔，已经许久未。
墨与笔主，已经僵久。
算主希柏澈，论写什字，外被奉墨宝。虽字确实极。，身份才真正极高。
，位神，愁眉展。
“唉……进展。”摇摇头，宁静悠远眼神，掩饰住焦虑。
，倾尽切。果，值提。与雄壮志相比实渺。
“老师……”希柏澈弟身担忧：“近您像太忧虑……”
“啊。”算主长叹：“算君啊……仅论算，绝抗算君。物杀，若怕，边。”
算主非才。辈话论，“努力类才”，勤勉修持身，坚持懈。。辈才。已落。
。并非败、怕。因此，羞谈论。。
，什什。
“老师，您或许向往常休息休息，散散，完备律关，其实并非非攻克。您，三五已经证算少分支系统完备性……”
“何科。”希柏澈口叫名字：“近听什消息？”
位半步逍遥修士。乃早几←←←←，m.∽.co≡m位弟，感与算主弟。敢老师背影，低头：“近……何师弟接触……”
何外尔算主弟。算主少弟尊称师兄。何科更加长，则称师弟。
希柏澈露头疼表：“外尔啊……伙信连宗，变。什？”
“探口风，似乎真很妙……”
“算君本。”算主头，：“理论漏洞很，若够帮找两，倒感激尽。，应该屑思考领域吧？哼。”
何科咬咬牙：“。冯先……冯先知。，担您挺……”
“老朋友近怎鬼鬼祟祟。原吧？”希柏澈表凝重：“，真问题啊。基础呢？底哪……”
何科片冰凉：，老师思路往“完备性”靠……根本怀疑算完备性……
“老师，退路。够通超穷归纳法，系统外证明系统完备性……”
何科太久。算主眼睛盯。黑色眸似乎边魄力。很快，。，算主才将目光拉回已经停滞许久证明。仿佛沿证明，“”算彼岸。
“必须知，必将知……”
轻声呢喃。
“言，近思路。”王崎脸平淡冯落衣汇报思路。
谓“思路”，候需藏掖，候妨。
王崎思路冯落衣，。
冯落衣已经巅修士。论命利，更高求。位算，非求，另外摆脱谓“终极图景”。除此外，再什利益够打。
倒，实理，王崎分辈越越。层讲，冯落衣王崎支持真遗余力。
已经“登”伙吝啬提携辈原因。
冯落衣则脑海思考王崎思路。：“态势，竟似杀穿二十三问啊。”
“敢，敢。”王崎。二十三问何其怕？算球，二十三问题依旧数问悬未决。算信独立解决其两问，敢够解决。
冯落衣摇摇头：“，谁知呢？五六吧，，居够循完备性，举击穿二问、十问——唔，定再添问。”
“……”冯落衣眼神突锐利：“像很喜欢走弯路。”
“弯路？”
王崎错愕。力迫法才完解决连续统假设问题二选啊？什弯路？
“近思路，很奇特，很趣。”冯落衣盯王崎眼睛，：“将建立集合系统，限比较限……”
王崎错愕：“？”
初哥德尔证明连续统假设思路！
zf公理允许范围内推，证明，若zf公理系统具备致性，则连续统假设真。zf公理体系内，连续统假设法被证伪。
二十三问，应该已经算完答案。
，“证伪”并代表“证实”。
沿思路，证，zf公理系统内，连续统假设证实。
换句话，连续统问题集合论范畴内，具备判定性问题。果“证实证伪”结论再早，严格证明十问，“判定性”绝反例。
公理体系外，才证明。
力迫法，冲原公理体系束缚，体系、定路。
，若试集合论、公理系统基石，“创”系统，应该怎算？基石外？算内？
力迫法重义源。
听王崎惊呼，冯落衣眼光闪：“思路，吧？”
“隐约，……喜欢。”王崎。若论理论论证程简明、流畅程度，科恩力迫法远远及哥德尔思路。除非傻疯，般方候闯条路。
“根据‘直觉’？”冯落衣摇摇头，罕见训斥王崎，感叹：“数，似乎啊……避般觉正常路，走‘歪路’，直抛全律，破完全念，才，原几绕远路，才唯正路。”
冯落衣指，乃王崎获赏，超限归纳法证明算术系统致性路。按照般，应该根据证明“阶谓词逻辑系统完备”，阶推向高阶。
，王崎选择，却条比远路——系统外证明系统内矛盾。
众奇怪，明明条通坦途，偏走，非系统外绕圈，傻吗？
，王崎明白，系统做“假外求”。绕圈，才必须。
，次。哥德尔证明思路，力迫法义，力迫法辩驳力度。实际，依旧条正路。
：“……真喜问题。思路，应错。”
【认识十老书友给推荐追书app，野果阅读！真特，车、睡靠朗读听书打间，载 】
“哦。”冯落衣头，知听听进。
“，老师。”王崎突奇：“思路提者，底谁？”
底哪奇葩，居独立思考哥德尔神模思路？
冯落衣笑：“应该认识。万法门真传，苏君宇。”
“苏师兄？领域包括逻辑吗？”王崎错愕。
印象，苏君宇伙习领域非常杂，像什，主概率几何……额，话，像接触逻辑块性啊？果脑抽跑习逻辑——非常嘛！
，真奇妙重合处啊。王崎：力迫法创始者科恩，研究领域算逻辑。始单纯问感兴趣，跨领域掺脚。本其实理解力迫法巨义。
苏君宇估计吧……问领域掺脚，结果腿掺。(未完待续。)
ps：
依旧卡文qaq