永恆探索之舟懸浮在一片由純粹數學結構構的空間中。
這裡沒有，沒有聲音，只有**定理**。空間本是歐幾里得幾何的完現，平行線永不相，三角形角和恆為180度，圓周率確到無窮位小數。但這不是自然的數學，而是**數學的原教旨主義崇拜**——定理不是描述現實的工，而是現實本必須服從的絕對律法。
“數學原教旨主義位面，”小房的聲音在舟響起，帶著演算法分析特有的準，“自稱‘絕對真理塔’。文明型別：形式化證明實。核心理念：只有能夠被形式系統證明的命題才是真實的，任何依賴直覺、經驗、甚至不完全歸納的認知都是幻覺。”
星瀾的平衡網路視覺在這裡遇到了數學過濾：“我的視覺被形式化了……所有平衡關係都被轉換邏輯命題。綠平衡變‘真’，黃失衡變‘可證明’，紅危機變‘矛盾’。”的聲音有些張，“但有些東西……在邏輯之外波。”
凌凡向舷窗外。空間由無數懸浮的數學符號構：積分號像拱門，無窮大符號像莫比烏斯環，矩陣像旋轉的立方。符號之間用證明步驟的鏈條連線，每一步都是嚴格的邏輯推導。
三個證明者實出現在探索之舟前。它們不是生，而是**行走的數學證明**：第一個是哥德爾不完備定理的三十頁證明濃，第二個是費馬大定理的三百頁證明結晶，第三個是黎曼猜想的未完證明廓（但在這裡被強行宣告為已證明）。
哥德爾證明發出聲音，那聲音像邏輯演算般無：“檢測到非形式化存在。請提你的存在公理系統，否則將被判定為不合法存在。”
凌凡走出探索之舟。他的腳下自生一小塊允許“未定義概念”的空間——這是存在之心對抗絕對形式化的防場。
”。化剛度過在正構結實現的們你到察觀們我。者踐實衡平，凡凌是我“
”。義歧無、明證可、晰清須必切一，前面理真學數在。惡罪是糊模。德是剛“：式公論數的雜複出現浮面表的明證馬費
”。七十三百四之分百了加增裂間空的錄記有，年千一去過。升上在正率裂斷構結實現的們你“，析分的房小出調地靜平凡凌”，示顯料資但“
”。痕疤的手除切是裂些那。分部實現的化式形法無有所除切須必們我，理真對絕持維了為。價代要必的中程過明證……是那“：波的整完不出發廓明證曼黎
”！本間空綁捆樣一貨紮捆像條鏈明證用在們他……了到看我。理定學數從服實現’制強‘在是而，實現’述描‘在是不們他！重嚴的象想比題問，凡凌“：訊傳急舟在瀾星
”。籠牢明證的閉封我自個一造建在們他……明證要需又效有的學數但，學數要需效有的學數明證——圈迴明證的迴遞限無個是這。對絕的’本為行明證‘明證始開至甚們他“：人驚更果結描掃層深的房小
。分部實現的模合符不有所除切，模制強為變工述描將——**政暴的學數**是這，熱的學數對是不這。了解理凡凌
。問凡凌”？嗎’塔理真對絕‘的們你看看能我“
。置位稱宣的”論理一統的理真學數有所“是那，高限無向尖塔……撲拓、論數、析分、數代、何幾是上向，算是層底：支分學數個一是都層一每的塔。**塔念概**是而，塔質是不——塔座一出現浮央中間空。條鏈明證開展時同明證個三
。間瞬靈的明證越超、閃驗經的化式形被未、片碎覺直的除切被是些那。**微的義定被未**……是而，暗黑是不痕裂，痕裂微細多許有塔。裂的塔了到看凡凌但
”？麼什是微的痕裂些那“，出指凡凌”，在塔“
”……在現但。補填明證完被會都裂有所，時建全完塔當，上論理。留殘……的整完不是那“：遲延輯邏現出次首明證爾德哥
”。論悖個是這——塔理真的備完個一造建圖試卻，明證的理定備完不是就本塔的你。題命的偽證被能不也明證被能不既含包都，統系式形的大強夠足何任：們我訴告理定備完不爾德哥為因“，話接凡凌”，完不建遠永塔在現“
。基的在存們它了盾矛輯邏的單簡個這。住僵時同明證個三
。大擴然突裂的塔，時這在就
---
。**能可的化式形被未**是而，量能是不，質是不——出而湧洶中裂從”微的義定被未“些那。發然必的盾矛自塔是而，的致導凡凌是不
。**度維知認式形非**的年千數了抑被面位個這是們它。間瞬悟領的說言可不像而時，花火靈的躍跳像而時，閃覺直的糊模像而時，式形的定固有沒們它。群在存個一另聚凝微
”？能不麼什為？明證能只麼什為“：音聲的構結輯邏有沒出發群閃覺直
”？躍跳能不麼什為？導推能只麼什為“：爍閃群花火靈
”？曉知默沉能不麼什為？說言能只麼什為“：驗接直遞傳群間瞬悟領
。券場的統系式形微了予給這，念概的”某“認承先要需”在存不某明證“為因——晰清更微讓而反本為行明證但。”在存不微些這明證“圖試，條鏈明證啟即立們它。敵大臨如們明證
。生產裂多更，震烈劇塔。結連輯邏解溶糊模用微，微綁捆圖試條鏈輯邏用明證。**爭戰知認**是而，鬥戰理是不——戰始開群微與明證。控失速迅面場
”！實現的容相不互個兩裂分會面位，去下續繼果如！學數解消說言可不用想微，切一噬吞學數用想明證！突衝極終的知認式形非與統系式形是這“：析分急房小
”！話對上面平知認個一同在不本們它為因……點衡平到不找我“：擾干重嚴被裡這在覺視路網衡平的但，解調圖試瀾星
。能可的約通有沒乎似，間之閃覺直與明證學數……裡這但，言語通共的何幾與彩有還至面位藝。戰挑的正真臨面凡凌
。樑橋的能可不個那到找要需他
：題問殊特個一出放釋，心核子種題問啟他後然。質本覺直粹純的群微向看也，式形對絕的明證向看：向方個兩向看時同，眼之視注我自啟凡凌
”**？述描全完學數用以可否是，本為行述描個這麼那，言語完的實現述描是學數果如**“
