時間：255秒。
“什麼？”周瑾和鴉同時看向她。
“證明……是一個過程……”白溪的語速加快了，雖然聲音還在抖，但思路似乎越來越清晰，彷彿在絕境中，某種被長期壓抑的、屬於“觀測員”的本能在甦醒，強迫她用一種極度冷靜、近乎剝離情感的態度去分析眼前的絕境，“它只看過程……是否符合它設定的‘規則’……結論是否與系統一致……它不關心！或者說……它無法‘判斷’！”
她猛地指向西周牆壁上那些流動的符號和公式：“看那些推演步驟！它們很多！很複雜！但它們的‘變形’和‘代入’……都嚴格遵循著牆壁上顯示的那些基本公理和推演規則！一步不錯！”
“我們不需要證明G真的是可判定的……我們只需要……用這些公理和規則，‘編造’一個看起來合理的、形式上正確的‘證明過程’！只要每一步推導，在形式上符合它的規則，哪怕最後推出‘1=2’這樣的荒謬結論，只要過程‘合規’，它可能就會判定透過！”
白溪的話，像一道閃電劈開了絕望的濃霧。
形式證明。
合規性。
“回聲”要的可能不是一個數學上的真理，而是一個“符合程式邏輯”的、形式上無懈可擊的“答案”！就像它之前的命題，真假的定義權在它手裡，這裡的“證明”，或許也只需要滿足它設定的、形式上的“合規”！
“可我們怎麼編？”鴉急促地問，時間只剩230秒了，“那些符號，那些公式，我們根本看不懂！更別說用它們寫出一個完整的證明過程！”
“我來……”白溪的聲音突然變得異常平靜，甚至帶著一種近乎虛脫的解脫感，但眼神卻亮得嚇人，裡面燃燒著某種近乎獻祭的決絕，“我看得懂……一部分……那些碎片……那些數字……它們在我腦子裡……尖叫了很久了……”
她不再看周瑾和鴉，而是猛地轉身，面對著一塊相對平整的、流動符號較少的發光平面。然後，她做了一件讓周瑾和鴉都目瞪口呆的事情——
她伸出了右手食指，用盡全身力氣，狠狠地咬了下去！
鮮血瞬間湧出，染紅了她的指尖。
“白溪！”周瑾驚叫。
但白溪沒有理會。她彷彿感覺不到疼痛，只是盯著自己流血的指尖，然後毫不猶豫地，將它按在了那冰冷光滑的發光平面上！
滋……
一聲極其輕微的、彷彿電流灼燒血肉的聲音響起。白溪的身體劇烈地顫抖了一下，臉色瞬間慘白如紙，但她咬緊牙關，沒有鬆開手指。
更令人震驚的事情發生了。
當她的血接觸到發光平面的瞬間，那平面上原本瘋狂流動的、冰冷的符號和公式，突然出現了極其短暫的、幾乎難以察覺的停滯。緊接著，在白溪指尖按壓的那個點上，一個暗紅色的、由她的鮮血構成的、歪歪扭扭的符號，被“印”在了發光平面上。
那是一個基礎的邏輯聯結詞符號：“∧”（邏輯與）。
雖然歪斜，雖然是用血寫成，但它確確實實地出現在了那裡，並且沒有被流動的符號洪流立刻沖刷掉，而是短暫地、頑固地“停留”在了那個位置。
白溪的手指開始移動，在平面上艱難地、一筆一劃地書寫。每一筆劃過，都伴隨著輕微的灼燒聲和更劇烈的身體顫抖。她的額頭上青筋暴起，冷汗如雨般落下，嘴唇被自己咬出了血，但她寫下的符號和公式，卻異常地“標準”——至少，在周瑾和鴉看來，和她旁邊那些流動的、天書般的符號，在“形態”上有著驚人的相似性。
她不是在“理解”著寫，她更像是在“復現”——將她腦海中那些翻騰的、破碎的、尖叫的符號碎片，憑藉某種近乎本能和絕望的記憶，強行“拓印”出來！
“設……G的哥德爾數為g……”她一邊寫，一邊用低不可聞的、夢囈般的聲音唸叨著，鮮血順著她的手指流下，在發光平面上拖出長長的、暗紅色的痕跡，又被後續的血跡覆蓋。
“定義……謂詞Proof(x, y)，表示……x是公式y在系統S中的證明的哥德爾數……”
“構造……公式U(x)：?y (Proof(y, x) ∧ ……”
符號和公式，一個接一個，被她用鮮血“塗抹”在發光平面上。有些是簡單的等號、加號，有些是複雜的謂詞邏輯表示式，有些是巢狀的、帶著上下標的符號。她的書寫毫無美感，甚至有些混亂，但速度極快，彷彿慢一點，她腦海中那些碎片就會再次被痛苦的洪流衝散。
。了秒051到不下剩只間時。”明證“的懂不看全完們、的寫書鮮用溪白著盯也，時計倒那著盯死死，吸呼住屏和瑾周
。上壁之輯邏的冷冰這在刻銘，號符的痛與著帶、的來出取榨深魂靈從些那將，氣力一後最盡用，寫在還但。淡越來越號符的出寫，了盡流要快乎似的尖指。下倒會都時隨彿彷，害厲越來越得晃搖的溪白
。秒001：時計倒
。）真（”eurT“的單簡、的來起括號括用個一及以，”G“個那的下寫初最是，面後頭箭，”?“頭箭的”出匯推“表代、的長長個一，號符個一後最了下寫溪白
。上面平發在現呈，”程過明證“的斑斑跡、的構結狀巢和號符怪奇種各滿佈、行幾十達長、的整完個一
。明證個一是像”來起看“它，詞量和詞結聯的許允則規演推些那了用使，號符理公些那的現出中間空閉封個這了用使它，上式形在但。偏跑全完就始開步三第從能可，出百能可，義意學數無毫能可它
。力命生和神的有所了乾，寫書的鐘分幾那才剛彿彷，敗灰臉，空神眼，著睜半睛眼的。攣痙地制控不在都手隻整，味糊焦著發散，糊模片一尖指指食手右的。住扶把一瑾周的快手疾眼被，倒後向人個整，下垂地力無於終指手的溪白
……84，94，05——時計倒的跳斷不那中空著盯死死睛眼，比無乾音聲的”？了完“
。析分、描掃、旋盤”明證“跡著繞圍始開，化變了生發度速的流，者來外個這了到”覺察“乎似號符的流些那。比對的異詭了形號符綠、藍的冷冰、的流些那圍周與，紅的弱微出發始開”明證“的下寫用溪白，上面平發
。逝流秒一秒一間時
。秒03
。秒02
。秒01
。腔出跳要乎幾臟心，吸呼了住屏都人兩，首匕了握，溪白的迷昏乎幾著抱瑾周
。秒5
。秒4
。秒3
。秒2
。秒1
。零歸時計倒
。靜寂的般一死了陷，間空閉封個整
。了止停，號符的流狂瘋些那
。的紅暗、的弱微著發散在還，號符些那的下寫用溪白下剩只，去下了暗時同，面平發有所
——後然
”……啦滋“
？音雜的”遲延“者或”困“於似類……的覺察以難、的微細其極其極一了多……乎似裡音聲，次一這。起響次再，音聲的冷冰那”聲回“
”……中行進……啦滋……證驗“
”……）（質機有生：質介……輸明證準標非……到測檢“
”……驗校規合驟步演推……別識號符……析分式形……啦滋“
。長要都頓停次一何任前之比，了頓停音聲
。的苦痛、的識意無聲一了出發裡懷在溪白到長漫，麻發微微而首匕住握力用為因尖指的到長漫，音聲的耳刷沖己自到聽能瑾周到長漫
——後然
”。過驗校……啦滋“
”。求要式形則規演推及理公統系合符程過演推“
”。）定判可（真為統系本在G式公：出輸論結“
”。行前續繼可個知認。過證驗：錄記元單輯邏“
”。用啟米百兩方前於將點節輯邏一下“
”。快愉明證……您祝“
。字文題命學哲的異詭種各出現浮新重面上，態狀的移慢緩前之了復恢面平，了失消也式公和號符的爍閃狂瘋些那，了止停轉旋。道通的閉封被前之了出新重，離分、退後緩緩始開，面平發的接拼合嚴塊二十那周西，”福祝“的刺諷滿充、的冷冰句那後最著隨
。了除解間空閉封
。邊旁號符和求的完未和跡汙褐深片那在站，地原在站還們
。了”除“或”收吸“本面平被彿彷，失消、淡變度速的見可眼以在正但，眼刺外格得顯中微在跡痕的紅暗，上面平發塊那在留還”明證“的下寫用溪白
。了救得
。了救得，式方的腥和異詭了滿充、解理法無全完們種一以
。溪白了住扶幫，前上速迅。地在倒坐起一溪白著抱點差，一瑾周
。了慢很經己度速的流但，著滲緩緩在還尖指的破咬被，紙如白慘臉，弱微吸呼，去過迷昏底徹經己溪白
”。分水充補，口傷理刻立須必。支神上加失，了去過昏“。定穩算還但，弱很搏脈，徵命生的溪白下一了查檢速快
。舉的狂瘋、的毀自乎近那才剛溪白為因是更，怕後為因是僅僅不，抖微微在指手的。指手的溪白紮包和洗清地心小始開，水淨的貴珍點一和條布的淨乾算還、的到集收前之出翻裡包揹從地腳忙手，頭點點瑾周
。向看邊一，紮包邊一，抖著帶也音聲的瑾周”？些那懂會麼怎……“
”。分部一過’解理‘至甚，過到’聽‘的真……能可……’話說‘式公和字數用’聲回‘。關有’片碎‘些那裡子腦和，關有’員測觀‘是前之和定肯但。道知不“：頭搖了搖緩緩，面平發的明證跡”噬吞“漸逐在正塊那看了看又，溪白的迷昏著看地雜複神眼的
”。深越能可得陷，多越得用。染汙是……識知些那。事好是不這“。紮包固加瑾周給遞，布的淨乾對相條一下割角的爛破己自從首匕用
。尖裡海腦的溪白在們它，的狂瘋和意惡著帶是，的著活是，式公和號符些那。蝕侵……種一是像更那，憶記是僅僅不那。常正不顯明，態狀的才剛溪白。道知然當。然默瑾周
。些一了穩平乎似吸呼但，來醒有沒，下幾了睫的溪白。字名的喚呼聲低，頰臉的溪白拍了拍輕輕瑾周，畢完紮包
”。廊迴個這開離快儘須必。西東鬼麼什是又道知天……點節輯邏個一下“，冷冰神眼，向方”米百兩方前“的示提”聲回“向投目，起站”。留久裡這在能不“
。去走前向先率，電手的上地在落掉起撿後然，穩扶溪白把幫。力吃些有作，大很耗消也力的己自瑾周但，輕很溪白。上背到背溪白將地心小，頭點點瑾周
。定堅然依但，蹌踉些有步腳的們
。子影的形變曲扭個個一出照映，淌流中暗黑在微的種各，碎破離支得割切面平發的移數無被然依道通的深幽，方前
。視凝地聲無在彿彷，時過經們在，字文題命的冷冰些那
】。的是不所你是我【
】。在存於先覺【
】。理真的一唯是亡死【
】。話句這讀閱在正你【
。上影背的定堅常異卻削瘦然雖那方前及以，搏的定穩”種火“前，吸呼的弱微溪白上背，路的簸顛下腳在中集都力意注部全的。阱陷和義含的能可們它考思去不，字文些那看去不己自迫強瑾周
。米百兩
。點節輯邏個一下
？們著等在，麼什有會還
。語囈的清不糊模、微輕其極聲一了出發然突，上背的瑾周在，溪白的態狀迷昏於首一，時這在就
。悸驚的信置以難一有還，懼恐和苦痛著雜混語囈那
：節音的碎破個幾了到捉捕強勉，近朵耳的瑾周
”……記標……紅深……“
”……流……在他……“
”……痕裂……空時……“
。了住頓步腳，僵一地猛的瑾周
”？麼什說“：刀如利銳神眼，頭回，下停刻立也
。了攥手的冷冰隻一被是像臟心，道通的割切面平髮被、的暗昏方前向看又，向看，頭起抬瑾周
。了確明太向指，語囈的溪白
。記標紅深
。流
。痕裂空時
。人個一到想能只，的述描些這合符，方地鬼個這在
。泫錦林
