希尔伯特 · 二十三个问题
希尔伯特，一八六二年一月二十三日生于普鲁士的柯尼斯堡。父亲做过法官；母亲对哲学与天文有兴趣，给家里添了些不像法官家该有的书。
他念书不算最快，却有一种少见的本事：把难的东西想到底，直到它变简单。在柯尼斯堡大学，他与比他小两岁的闵可夫斯基、比他大几岁的胡尔维茨结成三人组，每天下午五点准时散步，边走边谈数学——后来他说，这段散步比任何课堂都重要。
一八八八年，他二十六岁，用一页纸的思路解开了不变量理论里卡了二十多年的戈丹问题，招来一句著名的抱怨：这不是数学，是神学。
一八九五年，应克莱因之邀，他到哥廷根大学任教，一住四十八年，把小城变成世界数学的中心。一九〇〇年八月八日，三十八岁，他在巴黎的国际数学家大会上提出二十三个问题——等于给二十世纪开了一张任务单。
一九四三年二月十四日，他在哥廷根去世，战后凄清，送葬者寥寥。墓碑上刻着他在柯尼斯堡说过的最后一句话：我们必须知道，我们必将知道。
故事层——跟着画面往下读：一个散步的人、一间旅馆、一张问题清单、一次注定落空的计划。
数学层——暖金色的框里是这一页真正的数学：公理与模型、无穷的算术、形式系统与不完备定理。
注疏层——页面下方的小字，标注年代、出处与真伪，给一起读的大人。
第一幕 哪些是定义，哪些是习惯 · 第二幕 桌子、椅子、啤酒杯 · 第三幕 换词的学问
第四幕 一间永远住得下的旅馆 · 第五幕 我们必须知道？
柯尼斯堡，普鲁士东端的一座老城。城里有一座七座桥的传说，有一条哲学家走过的河，还有一座大学。一八八〇年秋天，十八岁的希尔伯特进了这所大学。
大学有个规矩：可以自由地到任何一所大学听课。多数人拿它去听有名气的教授，希尔伯特却用它避开一切可以自己读会的课。
真正的功课在课外。比他小两岁的闵可夫斯基是全城闻名的神童，十八岁就与英国老一辈数学家同获法国科学院的大奖；比他大四岁的胡尔维茨刚做上副教授，思路细密得像钟表。三个人约定：每天下午五点，绕着苹果树广场散步。
散步没有课表。今天是一个方程，明天是一个猜想，后天是谁也说不清的「数学到底该怎么办」。希尔伯特后来回忆说，他从这两个人身上学到的东西，比听一百堂课还多：一个给他速度，一个给他秩序。
这个习惯他保持了一生。到了哥廷根，他还是每天下午准时走进花园，把最新想通的东西写在黑板上，再让客人把它驳倒。
十九世纪八十年代，不变量理论是代数里最重的活。一门手艺做了几十年：给定一族式子，把它们反复加、减、乘，问能不能找到一小套「积木」，让无穷多的式子全由积木拼出来。
二元、三元有人做完了。四元、五元，算稿堆成小山。全德国只有一个人在推进这件事——戈丹，人称「不变量之王」。所有人都相信：元数再往上，就要靠新的一代人了。
一八八八年，希尔伯特交出他的答卷。他不搭积木，只问了一句：无论搭不搭得完，这盒积木一定存在吗？四页纸，把所有元数一次做完。
戈丹看完，说了那句后来传遍数学界的话：这不是数学，这是神学——宣称宝库存在，却不肯交出一把钥匙。
希尔伯特没有争辩。两年后，他补出一套构造性的办法，把钥匙也打了出来。戈丹读完改了口：经过一番辛苦，我终于看见，神学也有它的用处。
这场小争执留下一条大道理：存在性的证明不是偷懒，它常常比搭积木看得更远。这条道理，会在第五幕以另一种方式变得生死攸关。
一九〇〇年夏天，第二届国际数学家大会定在巴黎。克莱因对希尔伯特说，要他在巴黎讲一个题目：把新世纪的数学看一眼，告诉大家该往哪里走。
希尔伯特准备了大半年。演讲定在八月八日，他只来得及讲十个问题；等到书面全文印出来，是二十三个。这二十三问里，有的当场就有人接走，有的直到今天还开着门。
清单不是考卷。他在演讲里说，一个问题只要清楚到能被说出口，就已经在把数学往前推——因为好问题像一面镜子，照出方法的短处。
这一册走五幕。第一幕与第二幕讲公理化：把几何里「哪些是事实、哪些只是习惯」分清楚，再把点线面变成代号。第三幕讲模型：换一套词，几何还是不是几何。第四幕讲无限与那张问题清单。第五幕讲他自己为「数学的可靠性」押上的一注，以及这一注的下场。
读完会剩下一句话：提问比回答更重要。
两千三百年里，《几何原本》不只是几何课本，它是「讲理」的样板：先摆出几条谁也不能否认的开头，其余一切一步一步推出来。牛顿写《原理》用的就是这个格式；斯宾诺莎写伦理学也用这个格式。
欧几里得的开头是五条公设：两点定一条直线；直线可以无限延长；任一点任一半径可作一个圆；所有直角彼此相等；最后一条说的是两条直线被第三条所截时，若内角之和小于两直角，那两条线必在该侧相交。
前四条干净利落。第五条却啰嗦——它不像「公理」，倒像一条定理，一条需要证明的定理。
于是两千年里，一代又一代人想把它从前四条推出来。托勒密试过，普罗克洛斯试过，阿拉伯人试过，十八世纪的欧洲人接着试。每一次都以为自己成了，每一次都被人查出：证明里悄悄用进了与第五公设等价的说法。
到十九世纪初，已经有人换了一种问法：如果它根本推不出来呢？如果它只是一条「习惯」，换一条习惯，几何还成立吗？
这一问，用了两千年才问出来。
把五条公设摆在一起看，第五条的毛病一目了然。
前四条说的都是「能做什么」：连线、延长、作圆、比直角。它们小而稳，不涉及任何远处的世界。第五条却要越过整张纸去看：两条线伸到无穷远处会不会相交。
它的等价说法更直白，就是今天课本里那条：过直线外一点，恰能作一条与它不相交的直线。听着像常识——可「恰有一条」这件事，谁能真的站在无穷远处核对？
萨凯里的办法是正面强攻：假设过那一点能作两条不相交的线，看能推出什么荒谬结果。他推了很远，推出一连串「荒谬」，可惜每一条其实只是不像欧氏几何，并不自相矛盾。他把到手的宝贝当成了罪证。
一百年后换了个问法：与其证明它，不如干脆去掉它。去掉之后剩下的四条公设，还能推出多少几何？答案出人意料：普通的大量性质都还在——只是那条关于平行的，再也要不出来。
第五公设的普莱费尔形式：过直线 l 外一点 P，平面上恰有一条直线与 l 不相交。它与欧几里得原文可互相推出。
前四条公设 ⟹ 角和为 π 的三角形可作；第五条 ⟹ 三角形内角和恰为 π
关键的分界：三角形内角和等于两直角，这件事无法只由前四条推出。萨凯里讨论的三种假设——内角和小于、等于、大于 2d（d 为直角）——彼此都推不出矛盾，这条事实由后人的模型方法坐实（见第 22 页）。
所以「第五公设可疑」不在于它长得啰嗦，而在于它是一条真正的选择：选了它是一种几何，不选它是另一种。
十九世纪二十年代，答案在两个国家几乎同时出现。
在俄国，罗巴切夫斯基把第五公设反过来用：假设过线外一点可以作不止一条平行线，然后老老实实往下推。推出三角形内角和小于两直角；推出相似的三角形必然全等；推出越大的三角形，内角和越不到两直角。没有矛盾，只有一套陌生而自洽的几何。
在匈牙利，年轻的鲍耶得到同一套结果，父亲把他的二十几页附录寄给老友高斯，收到的回信是：称赞它，就等于称赞我自己——高斯三十年前已经想到，只是一直不敢发表。
再往前一步是黎曼：如果过线外一点一条平行线也没有呢？推下去，得到三角形内角和大于两直角的另一种几何——把「直线」理解成球面上的大圆，它就摆在眼前。
三种几何都自洽，差别只在第五条。数学第一次明白：公设不是「显然的世界」，而是「选定的规则」。
三选一，是独立的选择：
过 P 平行于 l 的直线：恰一条（欧氏）｜不止一条（双曲）｜零条（椭圆）
内角和随之分岔：欧氏恰为 180°；双曲小于 180°，且三角形越大亏得越多；椭圆几何大于 180°——球面上由两条大圆弧与赤道围成的三角形，内角和可以是 270°。
曲率给出统一的账本：内角和与 180° 之差，等于三角形面积乘以曲率。曲率为零、为负、为正，三种几何各归其位。这一账本属于黎曼（见第 09 册）。
公设的裂缝露出来之后，人们回头再看《几何原本》的开头，发现另一处更深的毛病：定义。
欧几里得写：点是没有部分的；线只有长没有宽；面只有长和宽。听着清楚，细想全是循环——「部分」「长」「宽」，这些词比「点」还要先说不清。
两千年里没有人追究，是因为图帮了忙。老师说「点」，指一下黑板上的小圆点；说「直线」，拿尺子一划。所有人靠眼睛补上了定义的窟窿，还以为自己读的是定义。
一旦非欧几何问世，眼睛帮不上忙了：双曲几何的「直线」画在纸上是弯的，椭圆几何的「直线」是球面上的大圆。图形不可靠，词就必须自己站住。
希尔伯特的回答是釜底抽薪：点、线、面干脆不定义。它们是什么无关紧要；要紧的只有一件事——它们之间满足哪些关系。一九〇〇年前后的课堂上，他把这句话说得很轻巧：我们可以用桌子、椅子、啤酒杯来代替点、线、面。
《几何基础》就是这句话写成的一本书。
现代的写法把几何说成一个三元组 (P, L, ∈)：P 是点的集合，L 是直线的集合，∈ 是「点在线上」的关系。
P, L, ∈ 不加定义；公理只规定三者之间的关系
一条最小的样例（两点的结合公理）：任给两个不同的点，恰有一条直线同时含这两个点。注意它只谈关系，不谈点「是什么」。
这种定义法后来称为「隐定义」：词义不在词典里，在公理里。一个词在全部公理中的地位，就是它的全部意义。
这一册的暗线只有一句：提问比回答更重要。
第一幕的问题不是「平行线存在吗」，而是「这条公设凭什么在这份名单上」。前者要一个答案，后者要一份清单的账。账算清了，几何从「世界的描述」变成了「规则的推演」，两千年没动过的地方动了。
换个问法，比换个答案威力大。第五公设的两千年证明史里，人人都把它当成待解的题；十九世纪的人把它当成待审的题。审题的问出了三种几何，解题的只试出了循环。
这也是这一册想留下的习惯：遇到一条「显然」，先问它凭什么在名单上。名单弄清了，答案常常自己排着队来。
后面四幕都是这句话的变奏：第二幕把「定义」问成了「关系」，第三幕把「真」问成了「可换词」，第四幕把「无穷多」问成了「能排队的都是一样多」，第五幕把「数学可靠吗」问成了一道题——这道题引出了二十世纪逻辑学最大的意外。
《几何基础》出版的第二年，一位哲学教授批评它「把几何变成了符号游戏」。希尔伯特的回信成了数学史上的名句：这游戏自有道理——只要桌子、椅子、啤酒杯满足那些公理，它们就完全够格当点、线、面。
这话不是抬杠。两千年里，几何一直驮着一种形而上学的包袱：点是什么、线是什么，得先说清楚才能开始。包袱卸下之后，数学头一次发现自己是轻的——它研究的从来不是「对象」，是「关系」。
反过来说，这也解释了非欧几何为什么无害。只要换了平行公设后其余推不出矛盾，那种几何就自成一个世界，谁也不用向现实负责。几何从一门变多门，多门各不相扰。
但「推不出矛盾」这句话本身还是含糊的：怎么才算推出了矛盾？怎么才算推不出？第一幕把公设审出了裂缝，第二幕要做的，是把整座几何大厦按新规矩重建——并且让「矛盾」「不矛盾」变成说得清的事。
一八九八到九九的冬季学期，希尔伯特在哥廷根开了几何基础的课。讲义越写越薄，条理越理越清——因为他只留了一件事：把两千年的几何，重新搭成一套规则。
克莱因催他立即出书。一八九九年六月，《几何基础》印出来，恰逢高斯与韦伯的纪念碑在哥廷根落成，书献给这座城的两百周年纪念。初版几个星期售罄。
这本书做的事说来简单：把点、线、面请下神坛，只留下它们的「关系」。全书五组公理——结合、顺序、合同、平行、连续——每条都写得像规则手册，不像真理宣言。
写作的速度快得反常，因为功夫不在书里，在书外：二十年的散步、不变量里的硬仗、对第五公设史的通读，全部沉淀成那薄薄的一册。
他自己在书的引言里点题：这一套公理，应当像一把尺子——凡是从它们出发推得出来的，才算几何；推不出来的，无论多么「显然」，都只是一种习惯。
第一组叫结合公理，管「谁在谁上面」。核心几条：过任意两点恰有一直线；每条直线至少有两个点；至少存在三个不共线的点；每条直线至少有一个点，至少有三个点不在同一条直线上……
每一条都短得近乎啰嗦。可是把这些啰嗦的规则读进去，会发现问题变了：既然「点」可以换成任何东西，那么要检查的不再是图，而是规则之间有没有打架、有没有漏。
第二组叫顺序公理，管「谁在谁中间」。点把直线分成两段，一条线上任取三点恰有一个在另外两个之间；三角形的一边若与过另一边内部一点的直线相交，它必再交其余两边之一。
顺序公理是欧几里得全然漏掉的两组之一——《几何原本》处处用「之间」，却从未把它立成公理。眼睛看得见顺序，词就不需要；如今词要自己立住了。
从这两组公理，已经能推出一些既不显然也不直观的事。
结合公理 I.1—I.2 选录：
∀A, B（A ≠ B）∃ 恰一条直线 l，A ∈ l 且 B ∈ l； ∀ 直线 l ∃ 至少两点 ∈ l
顺序公理 II 的词汇：三元关系「B 在 A 与 C 之间」。由此可证：一条直线上任取三点，恰有一点在其余两点之间——「恰有一个」不是看出来的，是推出来的。
从 I 与 II 可推出：一条直线把平面分成两侧；线段有内点、有端点；三角形内部的点与外部的点隔着边——这些《几何原本》靠图默认的事，如今都是定理。
第三组合同公理管「搬移」。线段能从一处搬到另一处而不变长短；角也一样；两边一角的三角形与搬过去的全等。欧几里得用「叠合」悄悄完成这一切——把一个三角形「盖」到另一个上。可是「盖」是物理动作，纸面上的词说不清。
希尔伯特把它写成关系：给定一条线段与一条射线的端点，射线上恰有一点，使两线段合同。没有「盖」，只有规则。第四组平行公理只有一条——就是那条流浪了两千年的第五公设，如今安安稳稳坐在清单上，与其余各条平起平坐。
第五组连续公理管两件大事：一件是阿基米德公理——取定一段单位长，不断加倍地接下去，能超过任何给定的长；另一件完备性公理说，这份点的名单已经满员，不能偷偷再添点进去。
清单至此合龙。五组公理，二十条上下，每条都短；全部欧氏几何——从圆的弦到正多面体——都从这一小把规则长出来。
合同公理 III.1：若 A, B 是直线 l 上两点，A′ 是直线 l′ 上一点，则在 l′ 上点 A′ 的任一侧恰有一点 B′，使 AB ≅ A′B′。
AB ≅ A′B′, AB ≅ A″B″ ⟹ A′B′ ≅ A″B″； 若 B 在 A、C 之间，则 AB + BC = AC（以合同线段计）
阿基米德公理 V.1：给定线段 AB 与 CD，存在 n 使 n · CD > AB（沿 AB 连续截取 n 次必越出）。完备性公理 V.2：满足其余公理的点集不能再扩充——这条保证了直线上的点与实数一样稠密无缝。
清单立好之后，推演重新开始。从前四组公理（不碰平行公理），能推出的是「中立几何」：三角形外角大于两个不相邻的内角、全等的边角边判据、圆的性质……这些在三种几何里都成立。
把平行公理加进来，欧氏几何的定理一一归位。可是如今每个定理都带着自己的「出身」：它用到了哪几条公理，一目了然。这样新的账目出现了——每条公理的「独立地位」。
一条公理如果从其余各条推得出来，它在清单上就是多余的；推不出来，它才有资格占一行。第五公设占着一行，可这句话要成立，得先证明「从其余各条真的推不出它」。
《几何基础》的章法就停在两问上：这组公理相容吗（不互相打架）？彼此独立吗（谁也不多余）？每一问都要一种新工具。第二幕末尾，工具还没有造好——先得让「换词」变成一门手艺。
顺带一提，这套书还有一个奇效：它把欧几里得的几何变成了「一条条清单都能核对的规则」。从此几何课本里的每一句话，都能像查账一样查到出处。
公理系统的两问，写成现代的记法。设 Σ 为一组公理，T(Σ) 为从 Σ 能推出的全部命题：
相容：Σ 推不出 P 且 ¬P（同一对矛盾）； 独立：∀α ∈ Σ，Σ − {α} 推不出 α
推演本身是一条链：从公理出发，每一步要么是公理、要么由前几步经允许的推理规则得到。证明 = 这样的有限链——这个定义看起来平淡，第五幕会看到它掀起的风浪。
「中立几何」如今称为绝对几何：全部欧氏与非欧共有的那部分。萨凯里推的那一长串「荒谬」，其实是绝对几何的定理。
第二幕的暗线是「隐定义」：一个词的意义，不在字典里，在它出现的那几条公理里。
这不是文字游戏。过去定义先于定理：先说清「点」，再谈点的性质。现在次序倒了：规则先立，词义后到——「点」就是「在公理中占据那些位置的东西」。词典被公理替代了。
哲学界不安。彭加勒提出过一个尖锐的说法：若词义全由公理给，公理就近乎约定——我们选了一套方便的规则，谈的不是世界而是记号。希尔伯特一派的回答是：约定不妨碍真理，它划清的是「规则内的真」与「规则外的真」——后者交给物理，前者留在数学。
不管哲学判决如何，数学拿到了一件实器：从此评价一个理论，只看两条——规则内部有没有矛盾；这些规则是不是恰好看住了一个值得看的世界。前者是相容性，后者是模型，都是第三幕的事。
《几何基础》出版后不到十年，公理化从一本几何书变成了一种通用手艺。
群论先被立成了清单——闭合、结合、单位元、逆元，四条。代数里的环与域跟着立了清单。皮亚诺给自然数立了五条。到了一九〇八年，策梅洛给集合论立了清单——那是全部数学共用的一块地基，也最需要清单。
最意外的是一九三三年：概率论——一门看起来全凭运气的学问——被柯尔莫哥洛夫用三条公理立了起来。概率从此成为测度的一种，赌桌上的直觉变成了可证明的定理。
回头看，这一幕讲的事有一个统一的名字：把一门学问改写成公理系统。改写之后，这门学问的每一个命题都带着出处，每一条公理都单独受审——独立吗？相容吗？替换它还成立吗？
但是清单立得越多，一个总问题越压越重：这些清单本身可靠吗？尤其是给全部数学立的那一份——它自己会不会藏着一个矛盾？这是第三幕与第五幕的接缝。
《几何基础》里藏着两份保票，签名都是「换词」。
第一份给欧氏几何。把「点」换成一对实数，把「直线」换成一个一次方程的解集，把「点在线上」换成解方程。全部公理在这套词里一条条核过，全数成立。于是几何的账，记在了实数的账本上：几何若有矛盾，实数也有。
第二份给双曲几何。这一次换得更妙：把「直线」换成圆内的一种圆弧，把「平行」换成另一种说法。整套欧氏公理（除平行外）加上「过一点无穷多条平行线」，在这套词里也全数成立。
第二份保票的来历比书早三十年。高斯、鲍耶、罗巴切夫斯基发明双曲几何时，谁也拿不出「它无矛盾」的证明；一八六八年，意大利人贝尔特拉米换了一手词，把双曲几何安放进欧氏几何的圆盘里，账目从此可以互通。
两份保票合起来是一个信号：关于「矛盾」的争论，可以变成一次换词与一次核对。这一手在书里只是工具，在二十世纪里会成为一门学问。
把换词的全过程走一遍。旧世界的词是「点」「直线」「点在线上」；新世界只许谈实数。
换法：一个「点」是一对实数；一条「直线」是一个方程的解；「点在线上」就是那对数满足那个方程。词全换了，句子还认得出吗？一条条核。
两点定一线：过两对数恰有一个一次方程。每线至少两点：方程总有两个解。顺序：比较坐标的符号。合同：距离用根号里坐标差的平方和来算——毕达哥拉斯定理在这里是定义，不是定理。
五组公理全部核过，无一失手。这份清单在新世界里「全绿」，而新世界是实数的世界——我们对实数的算术有独立的信心。
于是那道压了两千年的问题有了一个新形状：欧氏几何会不会自相矛盾？答案是：只要实数算术无矛盾，它就无矛盾。矛盾的责任，被换词送到了下一层。
模型是一个换词表 ℳ：点 ↦ (x, y)，直线 ↦ { (x, y) : ax + by + c = 0 }（a, b 不全为零），点在线上 ↦ 代入方程成立，距离 ↦ √((x1−x2)2 + (y1−y2)2)。
∀ 公理 α ∈ Σ：ℳ ⊨ α（ℳ 逐条满足 Σ）⟹ Σ 相容 ⟹ 算术 ℝ 相容
方向要记牢：模型证明的是「相对相容」——把一个理论的矛盾风险转嫁给另一个理论。它不消灭风险，只搬动风险。风险最终落在哪一层，是第五幕的悬念。
第二问——独立性——用同一个办法解决，只是换得更巧。
要证平行公理不被其余各条推出，只需造一个世界：其余各条全成立，唯独平行公理不成立。庞加莱的圆盘就是这样的世界。
圆盘的居民管「点」叫圆内的点，管「直线」叫与圆周垂直相交的圆弧。所有「直线」都活在圆盘里面；圆周本身是他们的天边——够不着，也永远走不到。
在这个世界里数一数平行线：圆内一点与一条「直线」，过这点的「直线」有无穷多条不与它相交。两条多余的公设被满足，平行公设被违反——而其余公理纹丝不动。
结论落锤：平行公理独立。两千年的证明尝试，败因终于清楚——不是火候不到，是这件事根本不可能。
再看一眼这个证明的原料：它完全住在欧氏几何里。也就是说，双曲几何的相容性，是欧氏几何担保的。反过来，欧氏几何的相容性，又能由双曲世界里的一个模型担保。两份保票互相签发——各自治安良好，但谁也拿不出绝对担保。
换词表：点 ↦ 圆 K 内的点；直线 ↦ 与 K 的边界圆正交的圆弧在 K 内的部分；在该点与边界正交即「垂直」。
Σ − {平行} 在 ℳ 内全真；平行公理在 ℳ 内假 ⟹ Σ − {平行} ⊬ 平行
这就是独立性的一般格式：给其余公理找一个「违反 α」的模型。每一条公理都可以这样单独审——审出它是不是真有用。
顺带把相对相容性写成双向：双曲相容 ⟺ 欧氏相容（各有对方的模型）。风险被搬动，但从未消失。
把三幕的账本叠起来看，出现一座倒立的金字塔，一层压一层。
最上层是欧氏几何：它的保票写在实数算术里。实数算术的保票呢？写在集合论里——戴德金用集合的切分造出了实数。集合论的保票写在哪里？一九〇八年，策梅洛立了公理清单，但这一层的保票还没有着落。
每挖深一层，理论就更基本一分，保票就欠得更远。相对相容性的台阶可以一直搭下去，但金字塔必须有一块不是「借来的」基石——否则全部担保互相转签，没有一页真金。
同层的模型之间还有一个漂亮的规律：满足全部欧氏公理的模型，彼此可以一一对应——点对点、线对线，关系全部保持。这样的系统叫「范畴」的：规则看死了一个世界，不给第二副面孔。
范畴是个强条件。它保证公理把结构完全钉死；代价是理论往往「太大」，要动用全部实数才够用。十九、二十世纪之交的数学家大多偏爱这种钉死的清单；对这份偏爱，第五幕有一场清算。
同构：两个模型 ℳ 与 ℳ′ 之间的一一对应 f，保持全部基本关系（点在线上、顺序、合同）。
∀ 模型 ℳ, ℳ′ ⊨ Σ（欧氏全体）：∃ 同构 f : ℳ ≅ ℳ′（范畴性）
相对相容性的塔：欧氏几何 ⟶ 实数算术 ⟶ 自然数（皮亚诺）⟶ 集合论（ZFC）。每一格「⟶」都是一次换词，风险逐层下放。
塔的尽头没有现成的保票。希尔伯特把这块空白记在心上——第五幕他会试图亲手补上它。
第三幕的暗线只有三个字：换词保真。
换词所以合法，是因为有一种严格意义上的「完全相同」：同构。两个世界若能点对点、关系对关系地对上，那么在一个世界里成立的事，在另一个世界里必然成立——证明一次，两处通用。模型方法的全部威力，都从这一条来。
再往深处看一眼。圆盘世界的居民若足够聪明，他们研究圆盘得到的全部几何，与研究的「真几何」是同一套东西。那么几何学研究的究竟是什么？不是纸上的图，也不是圆盘里的弧，而是那套关系本身。对象可以任换，关系才是主角——数学对象是「结构中的位置」。
这一眼光后来渗进了整个数学：把「9 这个数」理解为「在数系的运算表里占着那个位置的项」，把「对称」理解为「变换之下不变的东西」。位置可以换人来做，戏不变。
一九三〇年，一位二十五岁的维也纳博士生交出了模型方法的总账。哥德尔的完备性定理说：一阶逻辑里，凡相容的公理组必有模型。
这话换个方向读更有味：凡是「在所有模型里都真」的命题，一定能从公理推出。第三幕全靠手工的两件事——造模型核对公理、从公理推命题——被一条定理接通了：手工核不出、也推不出的命题不存在。
模型的殿堂自此有了总闸，一门学问（模型论）就此立户。同年，哥德尔带着这篇论文去了柯尼斯堡——希尔伯特的故乡，正开着一个讨论「知识之界限」的会。
在那里，他顺口报告了一个新结果。会场只有一个人立刻掂出了分量，起身离席赶回家去——那人叫冯·诺依曼，他自己正走在同一条路上。
那个新结果，把希尔伯特的宏大计划拦腰折断。而它与完备性定理出自同一支笔：一阶逻辑完备了，算术不完备了——同一个哥德尔，同一年，一边给了工具，一边量出了工具的边界。
巴黎，八月，热。第二届国际数学家大会在老天文台附近开幕，庞加莱致法语开幕词，讲的是数学与物理的联姻。轮到德语场，希尔伯特站起来，讲了一个与任何定理无关的题目：数学问题。
他的开场白从容：一门学问若提不出新问题，它就活着却停止了呼吸。然后他一个个抛出问题——时间只够讲十个。
第一个问题是康托尔的：无穷有没有比「无穷大」更多与更少的层次。第二个问题是算术的自洽。第三个问题最具体：两个等体积的四面体，能不能切成有限块互相拼合。
第三个问题当场就有了下文。大会还没散，希尔伯特的学生德恩就把答案做出来了：不能切。两个体积相等的四面体，无论怎么切、怎么拼，都不能互相拼成——因为一种叫「迪恩不变量」的量在切拼中守恒，而那两个四面体的这个量不同。
两千三百年前，德谟克利特说等底等高的锥体体积是三分之一；欧几里得绕了很大圈子证明它，却没有说清为什么不能走切拼的近路。德恩的答案把这段两千年的省略号补成了句号——而这只是二十三问里的第三问。
第四幕的数学从一堂「数数课」开始。数无穷，不能数到几就停——得换个标准：两个集合若能一对一配对，就一样多。这个标准对有限集与日常直觉全合；一放到无穷，直觉就开始翻车。
正整数与它的平方：1 配 1，2 配 4，3 配 9……全部配得上。一半与一样多，在无穷的世界里互不冲突。整数的正负与零：0、1、−1、2、−2……排成一列，与正整数一样多。有理数看起来密得多，也能排成一列：按分子分母之和分批排队，每一批只有有限个。
于是第一问有了第一个台阶：无穷不是「没有结构的一团」，它有大小，且有最小的那一档——能与正整数排队的，叫可数。
康托尔再问：实数呢？看起来也能排队。他证明：不能。办法简洁得像魔术。
对角线法：假设实数已排成一张无穷的表，第 n 行是 rn = 0.an1an2an3…。造一个新数 d：它的第 n 位取 ann + 1（逢九归零）。
∀n：d 的第 n 位 ≠ rn 的第 n 位 ⟹ d 不在表内 ⟹ 表不全
任何一张表都漏掉一个造出来的数——所以实数不可数。无穷至少有两档：ℵ0（可数）与连续统 2ℵ0（实数之多）。
两档之间还有没有第三档？这就是第一问。
现在把可数无穷变成一间旅馆：房间编 1、2、3、……号，没有最后一间。客人已满。
今夜来一位新客。满员的旅馆怎么住？让每个客人从 n 号搬去 n + 1 号。全体挪动一次，1 号房空出来。住下了。
明夜来一整车客人，车上有无穷多位。让每个客人从 n 号搬去 2n 号——奇数房全部腾空，无穷多个新客一人一间。又住下了。
后天来无穷多辆车，每车无穷多位。让老客住 2m · 3n 号（m 号车 n 座的客人），素数幂的房号两两不同，老客不会相撞；再把剩余的房号（素数 5、7、11 的幂次……）分给新客。照样住下了。
旅馆的账本上，加减法全失灵：ℵ0 + 1 = ℵ0，ℵ0 + ℵ0 = ℵ0，甚至 ℵ0 × ℵ0 = ℵ0。可数无穷是「怎么加都不变大」的一档。
这个旅馆的比喻经通俗读物流传，成了「无穷」最著名的一张脸。而在希尔伯特手里，它从来不是段子——它是第一问的入门教材。
三次重排的账：
n ↦ n + 1（加一位）； n ↦ 2n（加一车）； (m, n) ↦ 2m · 3n（加无穷车）
第三式的妙处在素数的独立性：由唯一分解，两个不同的「车号—座号」给出不同房号，绝不撞房。这也是「正整数对可数」的证明——数对的世界与一列数一样多。
推论：有理数可数（分子分母是一对）、代数数可数（多项式系数是一列）。无穷的「大小」由能不能排队决定，不由「看起来密不密」决定。
二十三问不必一一细讲，挑三问，各代表一种命运。
第一问，连续统假设：实数的无穷与正整数的无穷之间，还有没有别的无穷？——这是康托尔毕生的问题。它在清单上挂了一百多年，结局最出人意料：两个方向的答案都造出了模型，它独立于集合论的公理，加不加都自洽（见注）。问题没有被回答，而是被「豁免」了。
第八问，黎曼猜想：素数分布的误差由一个函数的零点看住，那些零点会不会都排在一条直线上？一百多年，成千上万的推论围着它搭起脚手架，本金仍未落定。它是清单上活着的那一问。
第十问最曲折：给一个丢番图方程，能不能造一台「万能的判官」，机械地判定有没有整数解？数学家们做了七十年，得到的回答是「判官造不出来」。妙的是，这个「不可能」用的是第四幕的数数术——把「程序」变成数，再用对角线法扎穿那张万能的表。
三问三种下场：被豁免、仍开门、被判死。哪种都不坏——每种都让数学变大了。
第一问的结局写成两行：
ZFC + CH 相容（哥德尔 1940 模型）；ZFC + ¬CH 相容（科恩 1963 力迫法）⟹ CH 独立于 ZFC
第十问的结局：马蒂亚谢维奇 1970 年证明，任何递归可枚举集都是某个丢番图方程的解集；而「停机的程序集」递归可枚举但不可判定，故「有整数解」不可判定——判官不存在。
第八问的等价形式之一：π(x) = Li(x) + O(√x ln x) 当且仅当全部非平凡零点实部为 1/2。清单上的三问，恰好示范了「好问题」的三种命运。
第四幕的暗线是给无穷补办的一本护照：实无穷合法化。
希腊人只接受潜无穷——数永远数不完，但「全体正整数」不许当作一个对象。亚里士多德立的这条规矩，欧洲管了两千年：无穷可以是过程，不可以是东西。
康托尔把「全体」当成了东西，还给它编号、比较大小、做加减乘除。克罗内克斥之为「青年的毒药」，说上帝造了整数，其余都是人造的。康托尔的晚年与此争纠缠不清，抑郁与病痛交替。
希尔伯特站到了康托尔一边，话说得毫不客气：没有人能把我们逐出康托尔为我们创造的乐园。他给的理由很实际——无穷的算术已经证明自己有用：数对可数、代数数可数、实数不可数，环环相扣，全是硬账。
但乐园里藏着一个新的不安：这份算术建立在「全体正整数」这样的实无穷之上。如果有人连它也不信呢？数学需要一个不依赖任何人胃口的底座。这个念头，把希尔伯特推向了最后一幕。
巴黎清单发出的第三年，第三届国际数学家大会在海德堡开幕。二十三问像一张军令状，研究者按问题站队：德恩接走了第三问，伯恩斯坦与舒尔接走了第十二问的一部分，希尔伯特自己接着做第八问的邻地。
清单的妙处在于它的「不完整」。二十三问没有覆盖全部数学——希尔伯特在演讲里明说，这是他个人的选择，取的都是「能照亮方法」的题。后来者不断往清单上添枝加叶：有些问题在解决过程中长出了新的分支（拓扑学、泛函分析都沾过清单的光），有些问题成了几代人共同的坐标。
一九〇〇年的听众里，最有分量的回应来自一位同行。庞加莱后来评论说，这样的清单是危险的——好问题会变成紧箍咒。批评与清单各留了一半在历史里：二十世纪的数学确实大体沿着「公理化加问题驱动」的两条轨道行驶，庞加莱的直觉直觉批评的轨道与希尔伯特的轨道并列而行。
回到本册的暗线：把一代人组织起来的，不是答案——答案只能收编一个人；能把许多代人编入同一支队伍的，只有好问题。
一九三〇年九月，柯尼斯堡，希尔伯特的故乡。城市授予他荣誉市民称号，六十八岁的他回去领奖。会议的主题是「知识之界限」——哲学家、数学家、物理学家坐在一起，讨论我们到底能知道什么。
九月八日，希尔伯特做了一场广播演讲，讲的是他守了一辈子的阵地：数学的可靠性。结尾两句，他说得极慢：我们必须知道。我们必将知道。
录音至今还在。那不是豪言，是战书——因为他心里清楚，阵地正受到攻击。就在前一天，同一个会场，一位沉默的维也纳年轻人在圆桌讨论的末尾举手，报告了一个没人听懂的结果。
年轻人叫哥德尔。他的结果后来被称为不完备定理，它说的是：希尔伯特要保住的阵地，有一块永远保不住。
两位主角同处一城，据说没有直接交谈。三天后，一位匈牙利青年数学家听懂了哥德尔的报告，写信去索要论文——发现哥德尔已经把第二个、更重的结果也做完了。这个人叫冯·诺依曼。
这一幕讲的就是那场攻防：希尔伯特垒起的形式化高墙，与哥德尔从墙内找到的那道缝。
希尔伯特的补法说来朴素：既然每层地基都会欠账，那就把整个数学一次装进一个不欠账的盒子里。
盒子是这么造的。第一步，把所有数学命题写成符号串——不再用「点」「数」这些有含义的词，只用 ∨、∧、¬、∀、=、0、S……第二步，把推理写成符号操作规则：从这样的串，能变出那样的串。第三步，把证明定义为有限次合法操作的过程。
装完之后，数学成了一盘规则完全公开的棋：棋子是符号，走法是推理规则，一局棋是一个证明。棋盘上没有任何东西「意味着什么」——意义全部封存。
封存意义不是自残，是元数学的全部策略：意义正是麻烦之源，把意义拿走，「矛盾」就从哲学问题变成了棋盘问题——一个符号串同时导出 P 与 ¬P，就是矛盾；永远导不出，就是相容。
而检查棋盘规则，只许用最保险的手段：有限的方法、看得见摸得着的操作。这套「关于棋盘的数学」，他称为元数学。计划的名字宏大而单纯：用棋盘内的有限棋步，证明棋盘永远不会自相矛盾。
形式系统 F = (符号表, 公理模式, 推理规则)。证明是一个符号串序列 φ1, φ2, …, φn，每个 φk 或为公理、或由前两条经规则得到；最后一条即定理。
相容：不存在 φ，使 ⊢ φ 且 ⊢ ¬φ； 完备：∀φ，⊢ φ 或 ⊢ ¬φ（在 F 内二选一）
元数学的方法限制：只允许「初等的」操作——比较符号串、做替换、逐条核对。不设无穷集合，不引任何未证明的假定。这套限制后来被称为「有限性」（finitary）立场。
若计划成功，全部数学的可靠性一次到位：任何定理，其证明都可在棋盘上逐步核查，且棋盘永不自爆。
哥德尔找到的那道缝，起手式竟然是第四幕的数数术。
棋盘上的每个符号给一个编号，每个公式就是一列编号，把编号按素数幂相乘，公式变成一个大整数——公式的「哥德尔数」。推理规则变成数与数之间的可计算关系。棋盘整个搬进了正整数的世界。
这一搬，棋盘上出现了惊人的可能：关于棋盘的话，也是棋盘上的数。「这条公式有证明」是一个数论命题；「这条公式没有证明」也是。
于是可以造一条特殊的公式 G，它说的恰好是：G 不可证。用数写出来，G 就是一个丢番图式的事实陈述——第十问的数数术在这里合流。
现在审 G。若 G 可证，则「G 不可证」是真的，矛盾——所以相容的系统证不了 G。若 ¬G 可证，则 G 可证（因其等价真命题……不对，此处要小心：¬G 可证则系统不一致或含假命题）。逐格推下去，结论：只要棋盘相容，G 与 ¬G 都证不出。G 是真的，却永远差一个证明。
不完备定理不是哲学议论，是棋盘内部的一条定理——用棋盘自己算出来的。
哥德尔编码：符号 ↦ 编号；公式 s1…sk ↦ 2g(s1) · 3g(s2) ⋯ pkg(sk)（素数幂，唯一分解保证可还原）。
「Prf(n, g)：n 是公式 g 的证明」是数论命题（原始递归）
自指公式：构造 G 使 F ⊢ G ↔ ¬∃n Prf(n, g)（对角线引理的产物）。在相容的 F 中：F ⊬ G 且 F ⊬ ¬G。G 在标准模型 ℕ 中为真——真与可证从此分离。
注意「标准模型」：系统以为自己在说棋盘，实际说的是自然数；G 之于棋盘，恰如对角线数之于实数表——一张永远漏项的表。
第一道门拦「完备」。含足够算术、规则清晰的相容系统，必有它证不出的真命题——系统若还「ω-相容」（不出现「对每个具体的数都成立，总体却断言不存在」这类别扭），则连否定式也证不出。真命题在系统外面永远有剩。
第二道门拦「自保」。一个相容系统若想证明「我没有矛盾」，办不到——除非它本来就不相容。数学不能靠自己的账本给自己作保；这块从第三幕欠到现在的真金基石，被证明是无法铸造的。
两条定理各有明确的前提：系统要足够强（装得下自然数的加法与乘法）、要规则清晰（可机械核对证明）、要相容。缺一条，定理不适用——所以一阶命题逻辑仍然完备（第 25 页），加法-only 的算术也有完备的版本。
也不可把定理读成「数学破产了」。它没有说哪些日常定理证不出（绝大多数照证不误），只说「一切」与「自保」这两件事越界了。边界精确地画在野心最大的两处。
希尔伯特听到结果后的反应，记录只有寥寥几笔：起初的沉默与不快，随后——按他一生的做派——把定理本身纳入元数学来研究。墙塌了，他继续砌。
第一不完备定理（罗瑟 1936 简化后的形式）：设 F 相容、含初等算术、证明可机械核对，则存在命题 G：
F ⊬ G 且 F ⊬ ¬G（G 在标准模型 ℕ 中为真）
第二不完备定理：F ⊬ Con(F)，其中 Con(F) 即「不存在 φ 使 F ⊢ φ 且 F ⊢ ¬φ」的形式化表述。系统若强到能谈自己的证明，就无法自证清白。
边界示例：皮亚诺算术不完备；不含乘法的Presburger 算术完备（1929）；实闭域完备可判定（塔斯基 1949）。不完备是「够强」的代价，不是逻辑的通病。
第五幕的暗线藏在一个位置的挪动里：证明从工具变成了对象。
两千年来，证明是人手里的家伙什，用完就收。希尔伯特把它摆上台面，当成和数、和图形一样的研究对象：证明有长度、有结构、有资格被编成数。这一挪，数学第一次拥有了「关于数学的数学」。
哥德尔的结果正是这样诞生的：把「有证明」写成数论命题，再让一个命题谈论自己的证明资格。问法是新的——不是「这个定理对吗」，而是「这个系统对自己的定理知道多少」。问法一换，二十世纪最大的意外就落下来了。
回到本册的总暗线。巴黎的清单问的是「数学里还剩什么可做」，柯尼斯堡的缝问的是「做数学这件事的边界在哪里」。两问都未竟全功——第一问至今仍开着门，第二问的答案是一块永远补不上的基石。但两个问法本身，各自开创了一门学问。
提问比回答更重要，最重的一层在此：好问题的寿命长于一切答案，包括对它说「不」的答案。
不完备定理没有终结元数学——它把元数学推向了更大的收成。既然「证明资格」可以编成数，那么「机械步骤」呢？一九三六年，图灵用同样的手法处理希尔伯特的判定问题：把「程序」编成数，证明不存在万能的判定程序。
证明里造出的那台想象中的机器——读纸带、按规则改写——就是今天一切计算机的理论原型。判定问题的否定答案，顺手发明了「可计算」的精确定义。一位英国青年为回答哥德尔的余问，造出了二十世纪的通用机器。
冯·诺依曼从哥德尔的报告里读到的是同一件事的另一面：既然「证明」是符号操作，它就能被机器执行。他后来主持设计的机器成了计算机的工程蓝本——从柯尼斯堡的会议室，到曼哈顿与普林斯顿。
希尔伯特纲领本身也没白做。根岑在一九三六年用「超穷归纳」证明了算术的相容性——用的是希尔伯特禁止的无穷方法，但方向正是希尔伯特开创的证明论。今日它长成一门学科：把证明变成可操作的对象，机器帮忙核定理。
墙塌了一角，门开了一扇。失败的果实比预期的成功更大。
把这一册的主线在最后走一遍。
起点是一道裂缝：第五公设两千年推不出，欧几里得的定义两千年靠图撑着。第一幕的转折是把「它对吗」换成「它凭什么在名单上」——公设成为选择，几何成为规则。
第二幕把规则立全：点线面不定义，只规定关系，桌子、椅子、啤酒杯皆可代入。第三幕学会换词：模型造出来，相容性逐层担保，平行公理的独立性就此结案。
第四幕数无穷：可数的旅馆怎么加都住得下，实数永远排不成队，二十三问三问三命。第五幕把证明摆上台面，再编成正数——棋盘上长出一条「本命题不可证」，墙塌了一角，门开了一扇。
一条线走完，起点与终点都是同一个问号。中间三处转弯，每一处都换了一次问法：审清单、造模型、数证明。
希尔伯特一生交付了两样东西：一本改写几何的书，一段录在胶片上的声音。
书是《几何基础》，一八九九年，薄薄一册，此后三十一年改到第七版。它把几何从「真理的叙述」改成「规则的清单」，把定义的权力交给公理。二十世纪的每一门数学教材，凡是开头先立公理的，都在这本书的格式里。
声音是一九三〇年九月八日的广播：我们必须知道，我们必将知道。十四个字后来刻上墓碑。它录下的不是一次胜利，而是一次选择——在哥德尔的报告之后一天，在已经听得见裂缝的地方，仍然把「知」押给未来。
两种留存的差别，不在分量，在方向：书向外立规矩，声音向内守阵地。本册讲的攻防，恰好一外一内：清单向外组织了一代人，广播向内守住了问题本身。
他还留下了第三样：一间旅馆。它从未存在，却比大多数真实的房子更能让人记住一件事——无穷不是大了，是不同。
本册留下三个问题，带出门去。
一问：素数分布的误差由什么看住？这是清单第八问，黎曼猜想。一百三十年来，几百条定理被写成「若黎曼猜想成立，则……」的格式——整座建筑在等一块未到的石头。
二问：数学可以无矛盾到什么程度？哥德尔说系统不能自证清白，根岑说换更高的望远镜可以看一眼底座。那么底座之下还有底座吗，还是这趟下潜本来无底？
三问：下一张能组织一代人的清单在哪里？巴黎之后一百年的二〇〇〇年，克雷研究所仿照先例开出七问，每问百万美元悬赏。美元会花完，清单的方法不会——好的问题清单，是学科的自我照镜。
三问都不需要现在回答。它们只需要被记得——因为一个好问题，能把后来的人组织起来。
材料：七枚硬币（或围棋子）、一张 A4 纸、直尺、圆规、铅笔。
第一步 · 摆点：纸上摆七枚硬币：三枚摆成一个大等边三角形的顶点，三枚摆在三条边的中点，最后一枚摆在正中央。这七枚就是「点」。
第二步 · 画线：用直尺画三角形的三条边、三条中线，再用圆规画一个过中央那枚与三个中点的圆。一共七条「线」：六条直线加一个圆。
第三步 · 查规则：逐条核对两条规则。规则甲：每条线恰过三枚硬币。规则乙：任意两枚硬币恰在同一条线上。全部核一遍——包括「线是圆」的那几组：中央硬币与三个中点四枚，恰在同一个圆上。
第四步 · 数账：七条线，每条三点，共二十一个「点次」；七枚硬币，每枚恰在三条线上，也是二十一个。账目自洽。
第五步 · 换词：问一句——这七枚「点」真的像点吗？这条「线」有一条明明是圆的！但在第三步的两条规则里，它就是几何：规则里没有「直」这个字。
材料：三张长纸条（约三十厘米）、铅笔、剪刀。
第一张纸条 · 旅馆：折出并标上房号 1、2、3、……到 24 号，右端画一个箭头表示「继续到无穷」。用两色小纸片当老客与新客，把第 29 页的三次重排各演一遍：加一位（全体右移一格）、加一车（n ↦ 2n）、加无穷车（(m, n) ↦ 2m · 3n）。核对：每次无撞房、无遗漏。
第二张纸条 · 排队：把全体整数（含零与负数）排成一列：0、1、−1、2、−2……写满纸条，右端接第二段。再试有理数：按分子分母之和分批——和为 1 的一批、和为 2 的一批——每批内部按分子排。写出一批核一批，确认每个正有理数迟早轮到。
第三张纸条 · 对角线：写一张「假想的实数全表」，排五行，每行写八位小数；用另一色铅笔沿对角线逐位划过，每位加一（逢九归零），把得到的数写在纸条末尾。它在这张表里吗？——对角线游戏就是第 28 页那个证明的手工版。
收尾 · 一问：三张纸条摆在一起看：第二张能排成第一张的样子（可数），第三张永远排不成。无穷的大小，就差在这「排得成」三个字上。
| 批 → 排 ↓ | 1 | 2 | 3 | 4 | 5 | 6 |
| 和=2 | 1/1 | · | · | · | · | · |
| 和=3 | 2/1 | 1/2 | · | · | · | · |
| 和=4 | 3/1 | 2/2 | 1/3 | · | · | · |
| 和=5 | 4/1 | 3/2 | 2/3 | 1/4 | · | · |
| 和=6 | 5/1 | 4/2 | 3/3 | 2/4 | 1/5 | · |
二十三问的三分之二在二十世纪内落幕：第三问当年解决，第十问一九七〇年判死，第一问一九六三年被豁免。到 2026 年，清单大体清点完毕——剩余的硬骨头里，第八问黎曼猜想仍居首位。
问题清单的方法倒是越用越顺。二〇〇〇年，克雷研究所仿照巴黎先例开出七问，每问悬赏百万美元。名单里有庞加莱猜想（2003 年被佩雷尔曼证明，他谢绝了奖金）、有 P 与 NP（计算机科学的根基之问），也有杨—米尔斯与纳维—斯托克斯——物理与流的方程成了新世纪的巴黎问题。
清单的价值在它照出的东西：二十三问照出了「公理化与结构」的世纪，七问照出了「计算与复杂性」的世纪。两张清单相隔一百年，同一件事没变——把一代人的注意力组织到一个点上，比十本书更有力。
巴黎演讲里有一句话，今天读来仍新：数学问题是数学的心脏。心脏不断换血，泵的原理不变。
把本册的三样遗产摊在今天的桌面上。
第一样是公理清单的全面胜利。今天数学的默认地基是集合论公理 ZFC：几乎每一条现代定理，原则上都能写到它名下。教科书不一定从公理讲起，但「可核查」的账目已无处不在。
第二样是形式化的工业化。四色定理一九七六年由计算机辅助证明，人类核不动两千米长的分类讨论；开普勒猜想的过程证明到二〇一四年由软件「群飞」完成形式核证。今天的证明助理（Coq、Lean、Isabelle）把「证明是符号串」变成了日常：定理库里的每一条，机器逐行核对，不出情面。
第三样是边界的日常化。不完备定理在工程里的形象不再是威胁，而是说明书：任何足够强的自动验证系统，总有它核不了的命题——知道这一点，反而是把系统用对的前提。
从巴黎的清单到柯尼斯堡的广播，希尔伯特要的其实只有一件事：数学的每一步都有出处。今天的机器对账，就是这件事的工业形态。
这一册讲一件事：一位数学家怎样用「提问」改变了整个世纪的走向——先问公设凭什么在名单上，再问数学自身可靠吗。
路线五步：公设的裂缝（第一幕）、规则清单（第二幕）、换词的学问（第三幕）、无穷与问题清单（第四幕）、形式化与不完备（第五幕）。第五幕最抽象；若孩子跟不上，只需留一句：有个年轻人证明了「再聪明的规则，也总有一句真话是它说不了的」。
暗线是「提问比回答更重要」，本册给了它四层：换问法（把「对吗」换成「凭什么是它」）、立规矩（把定义交给公理）、造世界（模型）、量边界（不完备）。四层递进，但每一层都可以单独讲：孩子最先记住的多半是旅馆。
需要提醒的一点：希尔伯特不是完人。他对戈丹的回应带着 young men 的倨傲，对直觉派同行（布劳威尔）的驱逐在今日看有过火之处。书中没有替他辩护，只把两面都摆出来。
共读时可以带着的几个问题，由浅入深。
一问（对应第 6—9 页）：家里的规则是谁定的？哪些「规矩」其实是随便选的（靠左走还是靠右走），哪些不能选（水往低处流）？公理更像哪一种？
二问（对应第 21—22 页）：换个名字，东西还是不是原来的东西？让孩子试试：把「猫」改叫「汪」，规则不变，养猫这件事变了吗？——这就是「换词保真」。
三问（对应第 28—29 页）：旅馆满员还能住人吗？让孩子把十个格子「全体右移一格」试一遍，再想：格子永远数不完的话，能不能一直挪？
四问（对应第 36—37 页）：一句话说「这句话是假的」，它到底真不真？这个老谜题在哥德尔手里变成了定理——问法变了，答案就变了。
四问之外不必追问。这一册真正想留下的是那句话：好问题的寿命，比它的答案长。
《数学家的故事》第一辑 · 第 08 册
希尔伯特 · 二十三个问题
明线：公理化方法（隐定义 · 五组公理）· 不变量与有限基底定理 · 模型方法与相对相容性 · 平行公理的独立性 · 无穷的算术与希尔伯特旅馆 · 二十三个问题 · 形式化纲领 · 哥德尔不完备定理 · 可计算性
暗线：提问比回答更重要 · 换问法 · 规则先于词义 · 换词保真 · 证明成为对象
时代：1862—1943 · 德国（柯尼斯堡—哥廷根；下延至 1931 年哥德尔、1936 年图灵、1936 年根岑、2000 年千禧问题）
主典：希尔伯特《几何基础》（1899，第七版 1930）· 《数学问题》（1900）· 《论无限》（1925/1926）· 希尔伯特—阿克曼《理论逻辑基础》（1928）· 哥德尔 1931 年论文 · 图灵 1936 年论文 · 雷德《希尔伯特》（1970）
体例：扉页与题解 2 页 · 引子 3 页 · 五幕 35 页（每幕：故事 1 · 数学 3 · 暗线 1 · 交汇 1 · 小结 1）· 收束与留问 3 页 · 动手做 2 页 · 小典 2 页 · 延伸 2 页 · 家长导读 2 页 · 版权 1 页，共 52 页。
《数学家的故事》第一辑十册：欧几里得 · 刘徽 · 费马 · 秦九韶 · 笛卡尔 · 伽罗华 · 高斯 · 希尔伯特 · 黎曼 · 陈省身。本册为第八册。
封面人物头像：以公版历史照片（佚名摄，约 1912 年明信片）为底本作水彩素描重绘；底本藏维基共享资源，属公有领域。