正面：“這個立方體所有面上的命題，都無法被證明。”
背面：“這個立方體至少有一個面上的命題，可以被證明。”
左面：“正面的命題是真的。”
右面：“背面的命題是假的。”
上面：“左面的命題等價於正面的命題。”
下面：“右面的命題等價於背面的命題。”
夏知微盯著這些句子，腦子開始發漲。
周不疑己經開始分析：“這是一個自指的命題系統。如果正面是真的，那所有面上的命題都無法被證明，包括正面自己。那正面就是真的但無法證明——符合哥德爾命題。但如果正面是假的，那意味著至少有一個面上的命題可以被證明。那個能被證明的命題是哪一個？”
“背面說至少有一個可以被證明。”姜來說，“如果背面是真的，那確實至少有一個可以被證明。但如果背面是假的，那就意味著沒有一個可以被證明——那就和正面一致了。”
“但正面說所有都無法被證明。”陳述說，“所以如果正面是真的，背面就是假的。如果正面是假的，背面就是真的。它們互為否定。”
“還有左面和右面。”許諾說，“左面說正面是真的，右面說背面是假的。如果正面是真的，左面就是真的；如果正面是假的，左面就是假的。右面也一樣。”
“上面和下面又把它們等價起來。”許願說，“整個系統是高度自指的。”
夏知微站在那裡，盯著那個立方體。她想起了那道方程——x = f(x)。這個立方體，就是那道方程的三維版本。每一個面都在說關於其他面的話，沒有一個是站在“外面”的。
“我不太明白。”林晚的聲音從旁邊傳來，“這些句子在說什麼？”
夏知微轉向她，想了想。
“你還記得那個理髮師悖論嗎？”
林晚點點頭。
“那個悖論是——理髮師給所有不自己刮鬍子的人刮鬍子。那他給自己刮嗎？怎麼都不對。這個立方體也是一樣。它裡面的每一個句子都在說別的句子，但沒有一個句子是從‘外面’說的。就像你站在一個全是鏡子的房間裡，每一面鏡子都反射另一面鏡子，但你永遠看不到房間外面。”
“所以……”林晚慢慢說，“這些命題是真的還是假的？”
“它們是真的。”夏知微說，“但我們沒辦法在立方體裡面證明它們是真的。因為要證明它們，你需要站在立方體外面。就像那個理髮師悖論——要解決它，你不能在規則裡面轉圈，你需要跳出規則。”
周不疑推了推眼鏡：“你是說……這些命題需要外部參照？”
“對。”夏知微點點頭，“哥德爾不完備定理說的就是這個。一個系統裡面，總有一些真命題，你沒辦法在系統裡面證明。你需要跳出來，用更大的系統去看。”
蘇眠看著那些句子：“所以那些紅色的門……每一個門後面的命題，都需要外面的世界來證明？”
“沒錯。”夏知微說，“數學是無限的，但它有自己的邊界。邊界之內，我們可以證明很多東西；邊界之上，有些真理存在，但無法被證明。就像你畫出的那條世界的邊界——你知道外面有東西，但你沒辦法站在裡面畫出外面。”
陸鳴沉默了一會兒，然後開口：“我爺爺走進那扇門的時候，他說過一句話——‘解不是x，也不是f，是那個=’。他是不是在說，那個‘=’就是外面？”
夏知微愣了一下。
她想起陸鳴爺爺日記裡的那行字：“如果x = f(x)有解，那麼解不是x，也不是f，而是x和f之間的那個‘=’。”
那個“=”。
。西東個那的們它線連是而，界世的察觀被是不，者察觀是不
。上界邊在它。邊那在不也，邊這在不，西東個那
”。能可為統系讓它但，分部一的統系是不它。面外是就’=‘個那“，說聲輕”。對“
。方立個那，手出
。路網輯邏的雜複、的大巨個一形，合組新重，舞飛中空在，落上面從子句些那。快越來越，轉旋始開方立
。實真的題命他其於賴依都，實真的題命個一每。點終有沒，點起有沒。環閉個一了形，賴依相互，向指相互題命些那見看
。點支的”部外“何任到不找，裡環閉個這在但
。開分法無，的一是者察觀被和者察觀——間空白個那的進經曾己自像就
。說聲輕”。了白明我“
”？嗎明證統系在法無題命的裡方立個這麼什為道知們你“：人他其向轉
。說疑不周”。的指自是們它為因“
”。本界世像就——系的足自、的閉封個一是這。理真的引部外統系從是個一有沒，用引相互在都題命個一每的裡這但，發出理公些某從要需都明證何任。照參部外有沒們它為因“，說微知夏”。止不“
：說續繼，頓了頓
”。提前的部外引，統系個這出跳要需明證為因，們它明證統系在法無你但，的真是都題命的面裡它——’備完不‘是的擇選方立個這。）盾矛在存（的洽自不是麼要，）明證法無題命真些有（的備完不是麼要，統系的大強夠足何任，們我訴告理定備完不爾德哥“
。問晚林”？嗎面外在是不們我是可“
”。相真的見不看之統系見看能才，外之統系在站要需們我——義意的’面外‘是就這。明證法無遠永就，面裡方立個這在們我果如但。的真是題命些這’見看‘能們我以所“，說微知夏”。是們我“
。住托輕輕方立的轉旋個那把，手
。心掌的在浮懸靜靜，轉旋了止停方立
。說”。’面外‘個那是就們我，在現“
：字行一了形，合組新重又點些那。中空在落散，點數無裂碎然忽方立，落剛音話
”。了懂們你“
。來傳方八面西從，音聲的爾德哥是
”？嗎了好備準們你。然或的測觀是而，定確的明證是不。然偶的實事是而，然必的輯邏是不——理真種一另有裡那。界世的理進將們你，門扇那開推。方前在就點終的卷學數。走前往續繼以可們你，在現。義含的備完不了白明經己們你“
。著看相互人個九
。頭點點眠蘇
”。了好備準們我“
。空星見可約邊那門，的做璃玻像，的明是門扇這。樣一不都門扇一每的見看前之和——門扇一了現出，頭盡的間房。失消後最，淡變漸漸字行那
。門扇那向走們他
。的流，系星的轉旋，星星數無——邊那向看門過。覺的涼冰，上門在放手把微知夏
。人他其眼一了看頭回
”？起一“
。上門在按，起一在疊手隻九
。啟開緩緩門
。來進了湧星
