光漸漸暗下來。
夏知微睜開眼睛,發現自己站在一個奇怪的地方。
不是她想象中的“另一個世界”。這裡沒有天空,沒有大地,沒有遠山,沒有河流。只有——無限延伸的白色平面,和無數懸浮在空中的……書架。
是的,書架。
成千上萬的書架,從腳下延伸到遠方,從地面上升到高空。每個書架上都擺滿了書,書的顏色各異,書脊上印著不同的標題。有些書架在她頭頂倒懸著,書卻沒有掉下來。有些書架彼此交叉,形成複雜的幾何結構。
“這是……圖書館?”林晚的聲音從旁邊傳來。
夏知微轉頭,看見其他八個人也站在她身邊,同樣目瞪口呆地看著眼前的一切。
“不是普通的圖書館。”周不疑推了推眼鏡,仰頭看著那些懸浮的書架,“你們看,那些書脊上的標題……”
夏知微順著他的目光看去。最近的一個書架上,她看見了一些標題:
《論三角形的內角和》
《平行公設的三種證明嘗試》
《第五公設為什麼不是公理》
另一個書架上:
《費馬大定理的完整證明》
《哥德巴赫猜想的近似路徑》
《黎曼假設:朝向彼岸》
再遠一些的書架上,有些標題她完全看不懂——不是因為她不認識那些字,而是那些標題本身就像是從另一種邏輯里長出來的。
《這個命題是假的》
《所有不包含自身的集合的集合》
《克里特人說所有克里特人都是說謊者》
“這些都是……”姜來的聲音有些發抖,“這些都是數學命題?”
“不只是命題。”陸鳴的聲音從旁邊傳來,“是每一個被思考過的數學問題。每一個被證明過的定理。每一個被提出過的猜想。”
他指向遠處一個巨大的書架,那個書架從地面一首延伸到看不見的高處,上面密密麻麻排滿了書。
“那個書架上,應該是所有關於‘無限’的思考。”
夏知微看著那個書架,忽然感到一陣眩暈。
如果這裡是所有數學問題的集合……那它有多大?
無窮大。
真正的無窮大。
。問諾許”?去出麼怎們我“
。答回人有沒
”。界邊有沒像好裡這……裡這。界邊到不知我“:開睜又兒會一了過,睛眼上閉眠蘇
”。界邊有都間空何任“,說願許”?界邊有沒能可麼怎“
”。係關的間之架書些那看們你“,亮很神眼但,的吞吞慢麼那是還音聲的他,了口開述陳”。定一不間空學數“
。起一在合融……是而,裂斷架書有沒並線但,相度角的怪奇種某以架書個兩那。架書的叉個兩向指他
”。構結輯邏……種某是,本間空的裡這。何幾得里幾歐是不的用裡這“,說述陳”。構結的何幾歐非是那“
。麼什了白明然忽微知夏
”。面裡本學數在是們我,’方地個某‘在是不們我。間空學數是這“,說”。間空理是不這“
。了默沉都人有所
。面裡本學數在
?去出麼怎要那
。音聲個一來傳遠,然突
。翻地快飛被書本一是像又,語低時同在人數無是像,聲鳴嗡的低低種一是,聲話說是不,聲步腳是不
。近越來越音聲
。了見看們他,後然
。移在子影個一有,深的架書從
。一為二合又,個兩裂分它候時有,線的扭條一像它候時有,環圓個一像它候時有。狀形的化變斷不、的述描法無、的怪奇個一。狀形個一……是。子影的人是不
。晰清漸漸,近越來越子影
?員館書圖……個一是那
。的深深個兩像,有沒都麼什裡睛眼是而,球眼有沒是不。的空是睛眼的他……睛眼但,容笑的和溫著帶上臉的他。來走們他向緩緩,車小的書滿裝輛一著推,人老的袍長灰著穿個一。像來起看至
”。館書圖的後最到來迎歡“,來傳方地的遠很從像音聲,了口開人老”。迎歡“
。神眼個一了換人他其和微知夏
”?方地麼什是這“,問眠蘇”?館書圖的後最“
。眠蘇給遞,書本一起拿上車從他。來下停前面們他在,近走續繼車小著推人老
。了變臉的。面封看頭低,書過接眠蘇
》生一的眠蘇《:著寫上面封
。抖發些有音聲的”?麼什是這“
”?嗎看看開翻想你。書的己自於關本一到找裡這在會都,人的裡這進個一每“,說人老”。事故的你“
。抖發微微手,書本那著盯眠蘇
。來未的己自見看會就誰,書本那開翻誰,運命的人有所著藏收面裡,館書圖個一有中說傳——說傳的老古個一起想然忽微知夏
。出而口”。開翻要不“
。著看眠蘇
”。西東的能不個一……西東個一有裡學數那,本學數是的真裡這果如“,說微知夏”。’來回的整完,去進的整完‘,過說爺爺的鳴陸“
。問疑不周”?西東麼什“
。氣口一吸深微知夏
”。指自“
。下一了震微微乎似架書的圍周,候時的詞個這出說
”。盾矛致導會就,在存它果如為因,在存能不西東個那。合集的合集的自含包不有所。論悖師髮理“,來過應反刻立疑不周”。論悖素羅“
”——後然。’本合集個這‘:題命個一含包然必它那,合集的題命學數有所是的真裡這果如“,說微知夏”。對“
”。論悖素羅致導會,合集的自含包個一為因“,去上接鳴陸”。潰崩會就界世個這後然“
。們他著盯正,睛眼的空雙那但,容笑的和溫著帶然依上臉,裡那在站人老
”。事件一了忘你但“,說微知夏對他”。明聰很你“
”?事麼什“
”。自它含包,界世個這而。了分部一的界世個這是經己們你“,說人老”。了來進走經己們你“
。收地猛心的微知夏
?嗎論悖素羅的說疑不周才剛是就不這。自含包界世於等界世:是就的說程方個這那,作個這”自含包“是f,”界世個這“是x果如。)x(f = x——程方的晚那醒覺己自起想。著轉地快飛裡子腦,人老著盯
”?麼什說在底到論悖個這“,抖發些有音聲的晚林”。白明太不我“
”。對不都麼怎。的真是就它,的假是它果如;的假是就它,的真是它果如。’的假是話句這‘——嗎題問種那道知你“:向轉,鏡眼推了推疑不周
。問晚林”?係關麼什有館書圖個這和那“
”。自了含包就它那。裡合集個這在含包被該應就它,是果如?題命學數個一是不是本’合集的題命學數有所‘但。’合集的題命學數有所‘是館書圖個這“,架書些那向指疑不周”。了大係關“
。去下沉話句這讓,頓了頓他
”。對不都麼怎。刮己自給要就他那,人的’刮己自不‘於屬就他,刮不果如;刮己自給該不就他那,人的’刮己自‘於屬就他,刮果如?嗎刮己自給他那。子鬍刮人的子鬍刮己自不有所給他“,說式方的懂聽能晚林用,話的他上接微知夏”。師髮理個那像就“
”?了去進繞己自把館書圖個這“,說慢慢晚林”……以所“
”。己自看睛眼的己自用能不你,己自量子尺把一用能不你像就。住卡己自把上界邊在會就,自述描圖試旦一統系個一“,頭點點疑不周”。對“
。容笑的和溫個那著帶然依上臉,話對的們他著聽,裡那在站人老
。白明想己自們他等在是像。待等……是,笑嘲是不——西東種一有裡容笑個那,得覺然忽微知夏
。說”。去出須必們我“
”。己自它考思在正,界世個這而。分部一的界世個這了為就們你,起刻一那的來進走們你從“,冷發渾人讓卻裡朵耳在聽但,和溫然依音聲的人老”。了晚太“
。抖發在音聲的晚林”?己自考思“
”——們你而。構結學數的自考思斷不、的著活個一是它。考思的己自對界世個這是都,理定的有所,題命的有所,書的有所裡這“,說人老”?嗎到意注有沒們你“
。們他向指他
”。工的己自考思來用它是,突的它是,元經神的它是。分部一的考思它是們你“
。鳴轟片一裡子腦的微知夏
……的真是這果如
?程過的”己自考思“在界世個這是都全——門扇這進走們他,遇相的們他,醒覺的們他——切一這的歷經在現們他那
?號符個一的裡構結學數大巨個某是隻是還?嗎”己自“是還們他那
。起響然忽音聲的鳴陸”。對不“
。他向看都人有所
”。對不的說你“,睛眼的空雙那著盯,前面人老到走,遍一了複重他”。對不“
”?對不裡哪“:著笑微然依人老
”。了失消遠永,分部一的構結個這為經己該應爺爺我那,構結學數的自考思個一是裡這,的說你像果如。門扇這了進走,份九分己自把他“,說鳴陸”。裡這過來爺爺我“
。話說有沒人老
”。訊資下留人的面外構結給來過反能可不,號符個一的裡構結學數個一為因。些這到不做他,分部一的構結個這為經己他果如。引指了下留,條紙了下留,圖地了下留他。個這了下留他“,開展,圖地張那出掏裡袋口從鳴陸”。失消有沒他但“
:說地句一字一,他著盯鳴陸
”。爺爺我是你……是你。本界世個這是不你“
。了固凝氣空
。了失消慢慢容笑的人老
。辰星的方遠像,的弱微點一。點一現出始開,裡睛眼的空雙那
。人個一像得變……得變是而,音迴的空種那是再不,了變音聲的他”。我了出認你“
”。子句的裡記日在寫你是這——’分部一的界世個這了為就們你,起刻一那的來進走們你從‘——話些那的說才剛你有還。樣一模一構結的式公些那的畫上板黑在你和,式方列排架書的裡館書圖個這。的寫你是,條紙的盒筆鉛微知夏進塞張那“,說鳴陸”。跡字的下留你“
。久很了看,他著看人老
。了笑他後然
。傷悲點點一著帶,欣著帶,憊疲著帶。笑的真是,次一這
”。子孫的我“,說他”。了大長你“
。人老的來回有沒也再、門進走前年五十個那——爺爺他著看,兒那在站是只他。哭有沒他但,了紅眶眼的鳴陸
”?麼什了到找底到你,爺爺“
。架書的大最個一遠向指後然,兒會一了默沉人老
。字何任有沒,的白純是面封,書的薄很本一,書本一著放只上架書。的做用是像,的明是它。樣一不都架書他其和架書個那
”。西東的找尋生一用我是就“,說人老”,書本那“
。問眠蘇”?麼什是它“
”。解正真的程方道那是它“
。書本那向看都人有所
。頭源的醒覺人有所們他。)x(f = x。程方道那
”。方地的解消被本論悖指自是它。方地的失消時同又在存時同者三這——線連的間之們它及以、界世、者察觀是它“,說人老”。’=‘個那是不也,界世的察觀被是不,者察觀是不它“
”?解消麼怎“,問微知夏”?解消“
。溫的特奇種一著帶里神眼,著看人老
”?嗎的論悖的他決解麼怎是素羅道知們你“
”。次層同不淆混圖試它為因,了法合不就法說個這’合集的合集的自含包不有所‘樣這。自含包能不,素元的次層低它比含包能只合集個一,次層的同不分合集把他。論別型了出提素羅“:手舉疑不周
”——是題問但。自論談能不你:則規個一了定指自給論別型“,頭點點人老”。對“
。架書的盡無窮無些那圍周著看,下一了頓停他
”。它制限以可次層的高更有沒面上它,次層的高最是就本界世個這為因,效無裡這在論別型。構結指自的大巨個一是就自它,界世學數個這,界世個這“
。問來姜”?辦麼怎那“
。書的白本那向指人老
”——題問個一有但。案答著藏,裡書本那“
。頓了頓他
”。啟開式方種一用能只,書本那“
”?式方麼什“
:說緩緩,們他著看人老
”。去進走,人個一有須必“








