第324章 圖書館
穿過那扇由邏輯符號構成的大門，葉凡感覺自己仿佛穿過了一層薄薄的水幕。
眼前的景象，豁然開朗。
這裡，沒有天空，也沒有大地。
入眼所及，是一片無邊無際的，由書架構成的森林。
那些書架，高聳入雲，根本看不到頂。它們由一種不知名的，散發著柔和光芒的晶體製成，上面密密麻麻地，擺滿了同樣材質的，薄薄的晶體板。
葉凡知道，那些晶體板，就是這個世界的「書」。也是觀衍口中，記載著無數「定義」的「手稿」。
空氣中，瀰漫著一種……知識的味道。
那是一種，混雜著古老、深邃、嚴謹、甚至危險的氣息。僅僅是呼吸著這裡的空氣，葉凡就感覺自己的大腦，仿佛被無數的信息洪流，沖刷著，激盪著。
「這裡就是哥德爾圖書館？」葉凡看著眼前這壯觀到令人窒息的景象，喃喃自語。
「準確的說，這裡只是圖書館的第一層，『已證實區』。」觀衍的聲音，在他身邊響起。
「已證實區？」
「是的。」觀衍點了點頭，語氣中帶著一絲自豪，「這裡收藏的，都是經過理事會驗證，被判定為『真』，並且與ZFC公理體系完全兼容的定義手稿。」
「這裡，是秩序與和諧的殿堂。是整個深淵，最安全，也是最穩固的地方。」
葉凡環顧四周。他能看到，除了他們之外，還有一些其他的「人」，在書架之間穿梭。
那些「人」，形態各異。
有的是由完美幾何體構成的，渾身散發著理性光芒的「公理之子」。
有的則是像一團流動的數據，不斷變換著形態的「可變體」。
他們都沉浸在自己的世界裡，手捧著發光的晶體板，如痴如醉地閱讀著。整個空間，除了偶爾翻動書頁的「沙沙」聲，安靜得可怕。
「他們，都是來這裡學習的？」葉凡問道。
「是的。」觀衍回答道，「圖書館對所有尋求知識的存在開放，只要他們能遵守這裡的規矩。」
「什麼規矩？」
「規矩很簡單。」觀衍伸出一根手指，「第一，不准在館內，進行任何形式的『定義』攻擊。在這裡，知識是用來交流的，不是用來戰鬥的。」
「第二，不准損毀任何一份手稿。每一份手稿，都是獨一無二的孤本。」
「第三，也是最重要的一條。」觀衍的表情，變得嚴肅起來，「絕對，絕對不要嘗試去閱讀，那些被貼上『紅色標籤』的手稿。」
「紅色標籤？」葉凡順著他的目光看去。
他看到，在遠處的一些書架上，確實有一些晶體板，被一層淡淡的紅色光暈所籠罩。
「那些是什麼？」
「那些，是『邏輯陷阱』。」觀衍的語氣，變得凝重，「是一些……雖然被證實為『真』，但其證明過程，或者其結論本身，蘊含著某種精神污染的定義。」
「比如？」
「比如，有一份手稿，它用無可辯駁的邏輯，證明了『你不存在』。」觀衍舉了一個例子，「任何試圖理解它證明過程的人，其自我認知，都會被這份手稿的邏輯所覆蓋。最終，他會從靈魂深處，相信自己真的不存在，然後……他的存在，就會真的開始消散。」
葉凡聽得心裡一寒。
這他媽的，也太詭異了。看一本書，就能把自己看沒了？
「還有更危險的。」觀衍繼續說道，「有一份手稿，記載著一個特殊的遞歸函數。任何試圖計算它的人，其思維，都會被拖入一個無限循環的邏輯怪圈，永遠無法掙脫。最終，變成一個只會重複念叨著『1+1=1+1』的白痴。」
「這些，就是圖書館的危險之處。」觀衍告誡道，「知識，既是力量，也是毒藥。在沒有足夠強大的心智和邏輯根基之前，好奇心，會害死你。」
葉凡點了點頭，將這條警告，牢牢記在心裡。
「好了，介紹就到這裡。」觀衍說道，「作為交易，你可以自由閱覽第一層的任何『白色標籤』手稿。至於你能學到多少，就看你自己的本事了。」
他指了指跟在葉凡身後，一臉局促不安的小四。
「她，會作為你的臨時嚮導。如果你有什麼基礎性的問題，可以問她。別來煩我，我要去整理我那些寶貝了。」
說完，觀衍的身影，就化作了一道流光，消失在了書架的深處。
偌大的空間裡，只剩下了葉凡和小四兩個人。
氣氛，一時間有些尷尬。
「那個……」小四率先打破了沉默，怯生生地看著葉凡，「你……你想從哪裡開始看起？」
她現在對葉凡，是又怕又恨，心情複雜到了極點。
這個男人，毀了她的家，奪了她的權柄，現在，還要讓她當嚮導。
可她又不敢反抗。因為她知道，自己的小命，還捏在對方手裡。
葉凡看著她那副可憐兮兮的樣子，心裡倒是沒什麼波瀾。
對他來說，小四隻是一個工具，一個移動的資料庫。
「你先給我介紹一下，這個世界最基礎的規則。」葉凡說道，「就從你之前提過的，ZFC公理體系開始。」
擒賊先擒王，學東西，也要從最根本的開始。
「哦……好。」小四不敢怠慢，連忙帶著葉凡，走向了圖書館最中心的一個區域。
那裡，有九個巨大的，如同紀念碑一般的白色晶體，懸浮在空中。
每一個晶體上，都用最簡潔，最優美的邏輯語，刻著一條公理。
「這就是ZFC的九大公理。」小四指著那些晶體，開始講解起來。
「外延公理、空集公理、配對公理、並集公理、冪集公理、無窮公理、替換公理、正則公理，以及……」
她的手指，指向了最後一個，也是最引人注目的一個晶體。
那個晶體周圍，聚集了最多的讀者。他們時而皺眉，時而驚嘆，仿佛在研究著什麼神聖的法典。
「……選擇公理。」
葉凡看著那九條，構建起整個深淵世界觀基石的「天條」，眼中閃爍著奇異的光芒。
他能感覺到，這些看似簡單的文字背後，蘊含著無窮無盡的，可以被「定義」出來的力量。
就在他準備讓小四詳細講解的時候。
一個略帶譏諷的聲音，從旁邊傳了過來。
「喲，這不是觀衍大師新帶來的『客人』嗎？」
葉凡轉過頭，看到一個由藍色幾何體構成的「公理之子」，正用一種審視的目光，打量著他。
「怎麼？剛到深淵，就想來挑戰九大公理？真是……不知天高地厚。」
那個公理之子，似乎對葉凡這個「外來者」，抱有很強的敵意。
「我只是看看。」葉凡淡淡地回答。
「看看？」公理之子冷笑一聲，「這裡是圖書館，不是你們鄉下人逛的公園。每一條公理，都博大精深。不是你這種連邏輯語都認不全的『變量』，有資格染指的。」
他的話，引來了周圍一些讀者的注意。他們紛紛將目光，投向了葉凡，眼神里，大多帶著輕蔑和好奇。
葉凡的眉頭，微微一皺。
他不喜歡麻煩。
但似乎，麻煩，總是喜歡主動來找他。
「這樣吧。」那個公理之子，似乎覺得光動嘴不過癮，他從旁邊的書架上，抽出了一塊巴掌大小的，散發著柔和白光的晶體板。
「看你也是個新人，我給你個機會。」
他將晶體板，遞到葉凡面前。
「這是圖書館的『入門讀物』，《皮亞諾算術公理》。很簡單，就是關於自然數的基礎定義。」
「只要你能在一個『邏輯時刻』內，把它完全讀懂，並複述出來。我就承認，你有資格，站在這裡。」
「如果你做不到……」他的嘴角，浮現出一絲嘲弄，「那就乖乖地，滾回你的新手村去。」
「這裡，不歡迎廢物。」
眼前的景象，豁然開朗。
這裡，沒有天空，也沒有大地。
入眼所及，是一片無邊無際的，由書架構成的森林。
那些書架，高聳入雲，根本看不到頂。它們由一種不知名的，散發著柔和光芒的晶體製成，上面密密麻麻地，擺滿了同樣材質的，薄薄的晶體板。
葉凡知道，那些晶體板，就是這個世界的「書」。也是觀衍口中，記載著無數「定義」的「手稿」。
空氣中，瀰漫著一種……知識的味道。
那是一種，混雜著古老、深邃、嚴謹、甚至危險的氣息。僅僅是呼吸著這裡的空氣，葉凡就感覺自己的大腦，仿佛被無數的信息洪流，沖刷著，激盪著。
「這裡就是哥德爾圖書館？」葉凡看著眼前這壯觀到令人窒息的景象，喃喃自語。
「準確的說，這裡只是圖書館的第一層，『已證實區』。」觀衍的聲音，在他身邊響起。
「已證實區？」
「是的。」觀衍點了點頭，語氣中帶著一絲自豪，「這裡收藏的，都是經過理事會驗證，被判定為『真』，並且與ZFC公理體系完全兼容的定義手稿。」
「這裡，是秩序與和諧的殿堂。是整個深淵，最安全，也是最穩固的地方。」
葉凡環顧四周。他能看到，除了他們之外，還有一些其他的「人」，在書架之間穿梭。
那些「人」，形態各異。
有的是由完美幾何體構成的，渾身散發著理性光芒的「公理之子」。
有的則是像一團流動的數據，不斷變換著形態的「可變體」。
他們都沉浸在自己的世界裡，手捧著發光的晶體板，如痴如醉地閱讀著。整個空間，除了偶爾翻動書頁的「沙沙」聲，安靜得可怕。
「他們，都是來這裡學習的？」葉凡問道。
「是的。」觀衍回答道，「圖書館對所有尋求知識的存在開放，只要他們能遵守這裡的規矩。」
「什麼規矩？」
「規矩很簡單。」觀衍伸出一根手指，「第一，不准在館內，進行任何形式的『定義』攻擊。在這裡，知識是用來交流的，不是用來戰鬥的。」
「第二，不准損毀任何一份手稿。每一份手稿，都是獨一無二的孤本。」
「第三，也是最重要的一條。」觀衍的表情，變得嚴肅起來，「絕對，絕對不要嘗試去閱讀，那些被貼上『紅色標籤』的手稿。」
「紅色標籤？」葉凡順著他的目光看去。
他看到，在遠處的一些書架上，確實有一些晶體板，被一層淡淡的紅色光暈所籠罩。
「那些是什麼？」
「那些，是『邏輯陷阱』。」觀衍的語氣，變得凝重，「是一些……雖然被證實為『真』，但其證明過程，或者其結論本身，蘊含著某種精神污染的定義。」
「比如？」
「比如，有一份手稿，它用無可辯駁的邏輯，證明了『你不存在』。」觀衍舉了一個例子，「任何試圖理解它證明過程的人，其自我認知，都會被這份手稿的邏輯所覆蓋。最終，他會從靈魂深處，相信自己真的不存在，然後……他的存在，就會真的開始消散。」
葉凡聽得心裡一寒。
這他媽的，也太詭異了。看一本書，就能把自己看沒了？
「還有更危險的。」觀衍繼續說道，「有一份手稿，記載著一個特殊的遞歸函數。任何試圖計算它的人，其思維，都會被拖入一個無限循環的邏輯怪圈，永遠無法掙脫。最終，變成一個只會重複念叨著『1+1=1+1』的白痴。」
「這些，就是圖書館的危險之處。」觀衍告誡道，「知識，既是力量，也是毒藥。在沒有足夠強大的心智和邏輯根基之前，好奇心，會害死你。」
葉凡點了點頭，將這條警告，牢牢記在心裡。
「好了，介紹就到這裡。」觀衍說道，「作為交易，你可以自由閱覽第一層的任何『白色標籤』手稿。至於你能學到多少，就看你自己的本事了。」
他指了指跟在葉凡身後，一臉局促不安的小四。
「她，會作為你的臨時嚮導。如果你有什麼基礎性的問題，可以問她。別來煩我，我要去整理我那些寶貝了。」
說完，觀衍的身影，就化作了一道流光，消失在了書架的深處。
偌大的空間裡，只剩下了葉凡和小四兩個人。
氣氛，一時間有些尷尬。
「那個……」小四率先打破了沉默，怯生生地看著葉凡，「你……你想從哪裡開始看起？」
她現在對葉凡，是又怕又恨，心情複雜到了極點。
這個男人，毀了她的家，奪了她的權柄，現在，還要讓她當嚮導。
可她又不敢反抗。因為她知道，自己的小命，還捏在對方手裡。
葉凡看著她那副可憐兮兮的樣子，心裡倒是沒什麼波瀾。
對他來說，小四隻是一個工具，一個移動的資料庫。
「你先給我介紹一下，這個世界最基礎的規則。」葉凡說道，「就從你之前提過的，ZFC公理體系開始。」
擒賊先擒王，學東西，也要從最根本的開始。
「哦……好。」小四不敢怠慢，連忙帶著葉凡，走向了圖書館最中心的一個區域。
那裡，有九個巨大的，如同紀念碑一般的白色晶體，懸浮在空中。
每一個晶體上，都用最簡潔，最優美的邏輯語，刻著一條公理。
「這就是ZFC的九大公理。」小四指著那些晶體，開始講解起來。
「外延公理、空集公理、配對公理、並集公理、冪集公理、無窮公理、替換公理、正則公理，以及……」
她的手指，指向了最後一個，也是最引人注目的一個晶體。
那個晶體周圍，聚集了最多的讀者。他們時而皺眉，時而驚嘆，仿佛在研究著什麼神聖的法典。
「……選擇公理。」
葉凡看著那九條，構建起整個深淵世界觀基石的「天條」，眼中閃爍著奇異的光芒。
他能感覺到，這些看似簡單的文字背後，蘊含著無窮無盡的，可以被「定義」出來的力量。
就在他準備讓小四詳細講解的時候。
一個略帶譏諷的聲音，從旁邊傳了過來。
「喲，這不是觀衍大師新帶來的『客人』嗎？」
葉凡轉過頭，看到一個由藍色幾何體構成的「公理之子」，正用一種審視的目光，打量著他。
「怎麼？剛到深淵，就想來挑戰九大公理？真是……不知天高地厚。」
那個公理之子，似乎對葉凡這個「外來者」，抱有很強的敵意。
「我只是看看。」葉凡淡淡地回答。
「看看？」公理之子冷笑一聲，「這裡是圖書館，不是你們鄉下人逛的公園。每一條公理，都博大精深。不是你這種連邏輯語都認不全的『變量』，有資格染指的。」
他的話，引來了周圍一些讀者的注意。他們紛紛將目光，投向了葉凡，眼神里，大多帶著輕蔑和好奇。
葉凡的眉頭，微微一皺。
他不喜歡麻煩。
但似乎，麻煩，總是喜歡主動來找他。
「這樣吧。」那個公理之子，似乎覺得光動嘴不過癮，他從旁邊的書架上，抽出了一塊巴掌大小的，散發著柔和白光的晶體板。
「看你也是個新人，我給你個機會。」
他將晶體板，遞到葉凡面前。
「這是圖書館的『入門讀物』，《皮亞諾算術公理》。很簡單，就是關於自然數的基礎定義。」
「只要你能在一個『邏輯時刻』內，把它完全讀懂，並複述出來。我就承認，你有資格，站在這裡。」
「如果你做不到……」他的嘴角，浮現出一絲嘲弄，「那就乖乖地，滾回你的新手村去。」
「這裡，不歡迎廢物。」