模型论导引 · 从公理到模型：理论的图景

本书怎么读：一门关于「一套公理能画出多少种世界」的学问

这不是一本教材，而是一册入门书：全书只讲一件事——模型论，即「把公理系统画出来，看它到底在描述哪些世界」的学问。它回答的问题朴素而颠覆：一个公理系统说的是什么？它有多少种模型？哪些性质是所有模型共有的？凭什么说平行公设既不能证明也不能反驳？为什么「非标准自然数」这种怪物模型必然存在？从 Löwenheim（1915）与 Skolem 定下模型大小的规矩，到 Tarski 的判定机器（初等代数学与初等几何可判定）、Robinson 的非标准分析（1960，无穷小复活）、Morley 的范畴性定理（1962）、Shelah 的分类纲领，再到 Hrushovski 用模型论证明 Mordell–Lang 猜想（1996），模型论从「逻辑的分支」变成了代数几何与数论的主力工具。全书按章组织：绪论用「同一套公理、许多个世界」提炼主题；第一章建立语言与结构这套字母表；第二章用紧致性与 Löwenheim–Skolem 定理展示有限的信息如何约束无限的模型；第三章把欧氏、仿射、射影、罗巴切夫斯基、球面五种几何的公理系统与模型摆在一起，看模型如何替几何的公理「背书」；第四章开动 Tarski 的量词消去机器，把可判定性一步步做出来；第五章深入模型内部（类型、饱和、范畴性、稳定性）；第六章用布尔值模型与力迫法给出连续统假设的独立判决，并一瞥现代模型论的全景；综合站用年表、人物谱、概念总图、实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 具体模型先行：每个抽象定义先有一张具体的结构表——把一条公理翻译成点与线、把「可定义集」画成子集、把双曲几何放进 Poincaré 圆盘量一量、把力迫扩张想象成往实数轴上塞新数，再抽成定义。② 一步一图：凡能画的都画——结构示意图、模型大小的谱、五种几何的模型地形图、量词消去的投影图、泛型滤子的构造图。③ 自给自足：所需的集合记号、域与序的基本事实在书内随用随补；个别深刻结论（Morley 定理、力迫法的细节、应用模型论）给出精确陈述与证明路线，计算对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（定义、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西思想传统的对照。每页右上角标页码，页眉灰色小字标出所属章与页题。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要集合与域的基本功（书内自给），★★★ 需要一点抽象结构经验（等价关系、同态，书内自给），★★★★ 需要形式语义与拓扑的功夫（书内自给），★★★★★ 触及稳定性、力迫与应用模型论（第五、六章）。若只求理解主线，读绪论、第一章、第三章的五种几何、第六章的连续统假设即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从公理到模型，再从模型回到公理：先看公理如何被一个个世界实现（绪论、第一章），再用紧致性造出反直觉的模型（第二章），然后让五种几何的公理各自拥有自己的模型、并借模型判出平行公设的独立性（第三章），进而把「理论能推出什么」变成可执行的判定算法（第四章），最后钻进模型的内部结构与力迫扩张，给出连续统假设的独立判决（第五、六章）——这正是模型论一百年从「几何的基础之争」长成「结构的分类科学」的轨迹。

② 暗线——真理是相对于模型的。「三角形内角和是两直角」显然吗？在球面上它大于两直角，在双曲平面上小于两直角。「自然数只有 0 与后继」显然吗？非标准模型里有比一切标准数都大的数。「实数轴上只有一个连续统的大小」显然吗？力迫法能造出 CH 失败的世界。分清「在某个模型内为真」与「在所有模型内为真」，是全书反复演练的判官功夫。

③ 接口——通往四个邻域。模型论是几何、代数、分析与逻辑的会客厅：与集合论（内模型 L 与力迫扩张，第六章）、代数学（实闭域、代数闭域与量词消去，第四章）、几何学（五种几何的公理系统与模型，第三章；o-极小与半代数几何，第四、五章）、数论与算术几何（Mordell–Lang 与第十问题的模型论面，第六章）四条战线直接相通。这些邻域的一阶逻辑、完备性、内模型与力迫法，在本册中被反复调用。

写法约定（TEX 标准）：结构用花体 𝒜, ℬ, ℳ、论域用 A, B, M、语言记 L、理论记 T（变量斜体）；满足 ⊨、可证 ⊢、初等等价 𝒜 ≡ ℬ、可定义集 φ(ℳ)；量词 ∀ ∃、型的空间记 S_n(T)、连续统假设记 CH、广义连续统假设记 GCH。变量斜体，系统名与算子（ZFC、RCF、ACF、CAD、Mod、Th）正体；关键一步配图，直觉与证明逐章对照。

绪论 理论的图景：同一个公理，许多个世界本册导引：把一个理论画出来

两千多年来，几何学家相信公理是不证自明的真理：欧几里得的五条公设被当作关于空间的绝对事实，谁若否定它们，就等于否定了理性本身。十九世纪的数学却接连送来三记重锤：平行公设可以被推翻而丝毫不动摇其余公理；逻辑定律可以容纳比一切标准自然数都大的「非标准数」；关于集合大小的一切直觉，都会被力迫法改写成另一个世界。三记锤子砸向的其实是同一句成见——一套公理只描述一个世界。

本册要讲的，正是与这句成见相反的事实。一套公理系统并不锁定唯一的世界，而是圈出一个世界的家族：家族里的每个成员都照着公理办事，却在公理没有过问的地方各显神通。把公理当作地图、把模型当作地图上的具体疆域，这门学问就叫模型论（model theory）。它的核心问题朴素而颠覆：一个理论到底在描述哪些世界？有多少种？哪些性质是所有成员共有的、哪些只是某个成员的特产？凭什么说某条命题既不能证明、也不能反驳？

本册的写法遵循一条主轴：先把一个理论画出来，再回答问题。每引进一个抽象概念，都先给它一张具体的结构表——把语言翻译成符号的清单，把「满足」翻译成结构里的一次查证，把双曲几何放进圆盘里量一量，把力迫扩张想象成往实数轴上塞进新数。抽象不是目的，抽象是让人得以同时看清许多个世界的那副眼镜。

图 0-1 是全书的缩影：左边一套公理，右边一群模型。公理不是许多条显然真理的清单，而是划分结构的一幅地图——它规定哪些世界可以登场，却把每个世界的具体形状留给模型自己。带着这幅图出发：此后每一章，都是在把这张对应表画得更精确、更锋利。

绪论 理论的图景：同一个公理，许多个世界什么是模型：公理系统的具体化身

★ 先从一个熟悉的场景说起。中学课本把「群」定义为满足三条公理的对象：结合律、有单位元、有逆元。定义讲完，课本立刻给出例子——整数在加法下成群，非零有理数在乘法下成群，正方形的旋转与翻折也成群。三条公理没有提到「整数」「有理数」「正方形」中的任何一个词，可这三个毫不相干的对象偏偏全都合格。这就是本节要立下的第一个观念：模型是公理系统的具体实现。

定义里有两个词值得立刻掰开。具体：模型不是符号串，而是货真价实的对象——一个集合、一组运算、一种关系，可以在里面做计算、找反例、逐条验算。每一条：公理是模型必须逐条兑现的承诺，少兑现一条，就不算模型。三条群公理把整数、有理数、正方形的对称打包进同一个家族，靠的正是这份「逐条兑现」的合同。

公理没有说到的地方呢？模型可以自由发挥。整数加群有无穷多个元素，正方形对称群只有八个；非零有理数乘群里任意两元素总能相除，整数加群里却不一定。三条公理对这些差异一言不发，差异便留给模型自己决定。这条观察是模型论全部趣味的源头：同一条公理之下，藏着许多个互不相同、甚至互不同构的世界。

再换一套公理看一遍。把「小于」关系的公理写在纸上：传递，且任意两元素或相等、或一方小于另一方。(ℕ, <) 满足它，还有一个最小元 0；(ℚ, <) 满足它，却没有最小元，稠密得任意两点之间都塞得进第三个点，与 (ℕ, <) 不同构；(ℝ, <) 再添一层完备性。三套结构共享同一张公理表，性格却天差地别。判断一条命题是否成立，必须先问「在哪个模型里」——这句话将在第五章化为一整套「类型」的学说。

绪论 理论的图景：同一个公理，许多个世界两条腿走路：语法与语义

★★ 上一节把模型讲成了公理的实现，可「公理」本身还是模糊的：它究竟是一串符号，还是一条真理？模型论的第一次分家，就分在这里——一门学问只有两条腿，才能走得远。

第一条腿是语法（syntax）。把语言想成一套字母表：常量符号、函数符号、关系符号是单词，逻辑联结词 ¬ ∧ ∨ → 与量词 ∀ ∃ 是变格规则，括号是标点；用它们层层拼装出的公式，就是这套语言里合法的句子。语法只关心符号的形状与拼装规则，不关心符号指向什么。证明也是一个纯粹的语法动作：从公理出发，按推理规则逐行写下公式，最后一行就是被证明的定理，记作 T ⊢ φ。整个过程中符号始终只是符号——一台不懂数学的机器也能核对每一步是否合规。

第二条腿是语义（semantics）。给语言里的每个符号指派一个具体含义——常量指向某个元素、函数符号指向某个运算、关系符号指向某种关系——就得到一个结构 𝒜。公式在这时才有真假：𝒜 ⊨ φ 读作「φ 在结构 𝒜 中为真」。语义关心的是结构与公式之间的符合，而非符号的排列。

两条腿各自能走，问题却出在它们会不会走岔：语法说「可证」的，语义是否「为真」？语义说「处处为真」的，语法是否「可证」？哥德尔在 1929 年的博士论文里给出了答案——对一阶逻辑，两条腿完全同步。

这条定理的重要性怎么强调都不过分：它把「证明」这一有限、机械、可查的动作，与「真」这一涉及可能无穷多个模型的性质正式画上等号。从此要证明某命题不可证，只需造一个模型让它为假——证明的不可能，变成了模型的可能存在。这正是本册全部招式的总开关，下一节就用它来裁决两千年的平行公设悬案。

绪论 理论的图景：同一个公理，许多个世界从欧氏几何到罗氏几何：模型决定命运

★★ 完备性定理一颁布，历史上最著名的悬案立刻有了判词。这场悬案的主角，是欧几里得《几何原本》的第五条公设——平行公设。

两千年的一根刺。前四条公设简短而自明：两点定一线、线段可延长、可画圆、直角皆相等。第五条却拖沓别扭：若一条直线落在两条直线上，使得同侧内角之和小于两直角，则两直线在该侧延长后必相交——用今天的话说，就是过直线外一点，有且只有一条直线与之平行。历代学者都觉得它不像公理、更像定理，于是前赴后继地想从其余四条把它推出来。萨凯里 1733 年的长篇尝试最接近成功也最接近真相：他假定过一点至少两条平行线，一步步推出种种奇怪却自洽的结论，眼看矛盾即将出现，他终于放弃——而他所推出来的那些结论，其实是另一个几何的定理。

三份独立的手稿。1820 年代，高斯在私人信件里承认自己早已接受非欧几何，却因惧怕喧哗而不敢发表；1830 年前后，罗巴切夫斯基与波尔约先后公开宣布：把平行公设换成过一点有无穷多条平行线，其余公理原封不动，可以造出一个逻辑上自洽的新几何。这是数学史上破天荒的一次——公理不再因其「显然」而被接受，而是因其「能被某个世界实现」而被接受。

模型登场。自洽的断言终究要有落脚点。1868 年，贝尔特拉米找到了关键一步：在欧氏三维空间里有一种叫伪球面的曲面，其上的测地线恰好满足双曲几何的全部公理——只要欧氏几何自洽，双曲几何就自洽。1871 年克莱因与 1882 年庞加莱进一步给出盘模型：把双曲平面装进一个欧氏圆盘，圆内每一点都是一个位置，直线是与边界正交的圆弧；盘上的度量被重新定义，使得过直线外一点的无穷多条圆弧都与该直线不相交（图 0-4）。这些模型把「双曲几何自洽」归约成了「欧氏实数系自洽」。

两千年悬案就此尘埃落定。判词只有一句，却改写了公理的地位：一条公理既不能证明也不能反驳，当且仅当存在两类模型，一类让它为真、一类让它为假。模型的贫富，就是公理的命运——第三章将把这套判决法做成一份完整的五几何地形图。

绪论 理论的图景：同一个公理，许多个世界模型论为什么在二十世纪后半叶爆发

★★ 一套关于语言与模型的学说，为什么不在二十世纪初就繁盛，反而等到二十世纪五十年代之后才大爆发？答案藏在「工具成熟」与「对象出现」这两件事之间的时间差里。

地基早在二三十年代铺好。洛文海姆 1915 年、斯科伦 1920 年给出了关于模型大小的第一条定理；哥德尔 1929 年证明完备性，顺手把紧致性定理一并交出：一组公式若任意有限子集都有模型，则整组也有模型。这条定理的威力在于「以有限驾驭无限」——它允许从一个无穷模型里造出各种反直觉的新模型。地基既成，学风却未至：当时的学术中心仍把数理逻辑当作数学的外围。

第一波：与代数合流（1950 年代）。塔斯基转向实闭域与代数闭域，用量词消去把初等代数学与初等几何的可判定性一举拿下；模型不再只是逻辑学家的玩具，而成了代数结构的显微镜。模型论从此与代数、几何、数论结下数十年的友谊。

第二波：造出陌生的世界（1960 年代）。鲁宾逊 1960 年用紧致性从实数系统里造出非标准实数——里面住着比任何正实数都小、却大于零的真正无穷小；三百年前莱布尼茨的无穷小论证，在模型论手里复活为严格数学。同一时期，莫利 1962 年证明范畴性定理，第一次揭示「一个理论能有多少种模型」本身就有深刻的结构定律。

第三波：分类纲领与跨学科应用（1970 年代至今）。谢拉赫自 1970 年代起建立稳定性理论，试图给全部一阶理论排出一张分类谱系——理论能被分门别类，正如群能。到了 1996 年，赫鲁晓夫斯基用模型论工具证明了数论中 Mordell–Lang 猜想的一个关键情形，模型论第一次在一个看似毫不相干的领域里解决了悬而未决的问题。

三波浪潮背后是同一条逻辑：一门学问的爆发，靠的是它终于能回答别人答不了的问题。模型论用「造模型」这一手，把逻辑的严格性送到了代数、分析、数论的门口——这正是本册要带人走完的路。

绪论 理论的图景：同一个公理，许多个世界本册路线图：六章的远征

★★ 观念讲完，该摊开地图了。全书六章是一条不断加码的远征路线：先把字母表学会，再握紧两件法宝，然后走遍几何的疆域、造出判定机器、钻进模型内部，最后抵达独立性的巅峰。

第一章（语言与结构）建立模型论的字母表：一阶语言的常量、函数、关系符号；结构的论域与解释；项、公式与自由变元；满足关系 ⊨ 的精确定义。学完这一章，任何一条数学命题都能被翻译成规范的公式。

第二章（紧致性与 Löwenheim–Skolem）握紧两件法宝：紧致性定理，把一个理论拆成有限片段逐一检验；上行与下行 Löwenheim–Skolem 定理，控制模型的大小。两件法宝合起来，就能造出非标准自然数这类怪物模型。

第三章（几何的公理与模型）把欧氏、仿射、射影、罗巴切夫斯基、球面五种几何的公理系统与它们的模型摆在同一张桌上，用模型替公理背书，并亲手复核平行公设的独立性判决。

第四章（量词消去与可判定性）开动塔斯基的机器：把公式里的量词逐个消去，把「判定一条命题真假」化归为「代入检验」。实闭域与初等几何的可判定性由此落地。

第五章（类型、饱和与范畴性）钻进模型内部：类型描述一个元素可能有的全部性质，饱和模型把所有可能性一次性装下，范畴性定理则回答「一个理论能有几种模型」。

第六章（力迫、连续统假设与现代模型论）抵达巅峰：用布尔值模型与力迫法造出连续统假设失败的世界，给出它相对于 ZFC 的独立性判决，并一瞥现代模型论的全景。最后，综合站用年表、人物谱与概念总图收束全书。

路线图上还有一行小字值得单独记住：每一章的实验页都会让程序参与——穷举小模型、对拍满足关系、在有限结构上验证一条公式的真假。模型论是少数几门「小世界里可以亲手穷尽全部模型」的数学；计算让抽象定理变得可见、可触、可对拍，也让每一次判决都能被独立复核。

绪论 理论的图景：同一个公理，许多个世界历史一瞥：从 Löwenheim 到 Hrushovski

★★ 模型论的历史是一条「先有工具、后有对象」的曲线：定理早早到位，学派却姗姗来迟。本页用八个年份把这条曲线串起来。

1915 · Löwenheim。洛文海姆证明：一个可数语言里可满足的一阶句子，必有可数模型。这是关于「模型能有多大」的第一条定理，也是「以有限符号驾驭无限结构」的第一次示范。

1920 · Skolem。斯科伦把上述结果推向理论并给出更简洁的证明，还敏锐地指出其中的悖论味：ZFC 若自洽，就有一个可数模型，可它内部却证明着不可数集的存在——模型的「可数」与内部的「不可数」指的并非同一件事。

1929 · 哥德尔完备性。哥德尔证明一阶逻辑的完备性：语法可证与语义为真完全同步。次年，紧致性定理随之而出，模型论的造模型工厂正式开工。

1930 年代至 1948 · 塔斯基。塔斯基给出真概念的严格定义（1933），随后用量词消去证明初等代数学（1948）与初等几何可判定——「存在一套机器，判定任意命题真假」第一次成为定理。

1950 与 1960 · 鲁宾逊。1950 年，鲁宾逊建立模型完全性理论，为日后「模型论」这个名称铺路；1960 年他用紧致性造出非标准实数系，让无穷小在严格数学里重生，也为非标准分析奠基。

1962 · 莫利。莫利证明范畴性定理：若一个可数理论的某个不可数模型大小上只有一种模型，则它在一切不可数大小上都只有一种。这条定理由此催生了「模型计数」这门学问。

1978 · 谢拉赫。谢拉赫在《Classification Theory》里建立稳定性理论，把全部一阶理论按「能有多少种模型」排成谱系——模型论从定理的堆积，长成了一门分类科学。

1996 · 赫鲁晓夫斯基。赫鲁晓夫斯基用模型论工具证明 Mordell–Lang 猜想的一个关键情形，展示模型论能反向解决代数几何与数论的难题，应用模型论由此成为显学。

八个节点里最值得记取的，是它们的时间分布：前四个（1915–1948）几乎只关乎逻辑自身，后四个（1950–1996）却在代数、分析、几何、数论之间来回穿梭。工具成熟用了三十年，走向世界用了五十年——读这本册子，就是沿着这条曲线再走一遍。

绪论 理论的图景：同一个公理，许多个世界绪论小结与预习清单

本页任务。把绪论的行李清点一遍：哪些观念必须带走，哪些词必须会讲，哪些问题留作路标。

观念清单。① 公理不是显然真理，而是划分结构的一幅地图：它圈出一个世界的家族，不锁定唯一世界；② 模型是公理系统的具体实现：语言符号被指派具体含义，公理在结构里逐条成立；③ 语法与语义两条腿：可证 ⊢ 与为真 ⊨ 由哥德尔完备性定理（1929）正式接轨；④ 模型决定命运：平行公设不可证，靠的是庞加莱盘这个反例模型；⑤ 模型论在二十世纪后半叶爆发，因为它的造模型手段终于能回答代数、分析、数论里别人答不了的问题。

说法清单（会讲才算过关）。① 用一句话解释「理论 T 的模型 ℳ」；② 说清 T ⊢ φ 与 T ⊨ φ 的区别；③ 复述完备性定理，并说明它为什么能让「不可证」用「造模型」来证明；④ 讲出平行公设独立性的模型论证明梗概；⑤ 举出双曲几何的一个具体模型（庞加莱盘），并说明其平行线为何有无穷多条。

行李点清，出发。第一章的第一句号令是：先学会读一张结构表，再谈它描述哪些世界。

第一章 语言与结构：模型论的字母表第一章导引：先学会读一张结构表

绪论把全书的主题立成三句问话：一个公理系统说的是什么？它有多少种模型？哪些性质是所有模型共有的？要回答这三问，先得有一套能同时描述「公理」与「世界」的语言。本章的任务就是造出这套字母表——它只有两个主角：语言（符号与公式）与结构（符号所指的那个世界）。学会了它们之间的翻译，模型论的一切技术才有立足之处。

本章的行进是一张四阶地图，每一阶都给下一阶备料：

第一阶（§1.1–§1.4）——语法与语义。先说清一阶语言的签名 σ 由常量、函数符号、关系符号组成；再把签名「翻译」成一个具体的结构 𝒜 = (A; …)；接着定义项、原子公式、公式、自由变元与句子；最后把「公式在结构中为真」写成一条可逐条检验的递归定义——满足关系 ⊨。四节合起来，就是模型论的读表认字课。

第二阶（§1.5–§1.9）——理论与模型。把一堆句子捆成理论 T，把「T 的模型」捆成模型类 Mod(T)；再引入结构之间的三种关系——同构 ≅、嵌入、初等嵌入；然后是子结构与扩张、同态与商结构；最后回答本章最有分量的一问：一门语言「能看见」结构里的哪些子集，即可定义集。

第三阶（§1.10–§1.12）——参数与分类。允许公式用上参数，得到可定义闭包 dcl 与代数闭包 acl；把存在量词读成投影，得到语义的几何图像；再把理论按「可满足、一致、完备、范畴」四个维度排座次，为第二章的 Löwenheim–Skolem 定理埋下接口。

第四阶（§1.13–§1.15）——实例与方法论。把图、序、群、环、域、向量空间逐一写成结构表；再把五种几何塞进同一个签名，为第三章正装出发；最后说明为什么「换一门语言，就换一副理论的面貌」。

读本章只需带三件行李：集合的记号、一点函数与关系的经验、以及「把话说全」的耐心。行李齐备时，先认识一下本章的两位常驻嘉宾。

常驻嘉宾：群 (ℤ, +, 0) 与序 (ℚ, <)。它们一硬一软：前者有运算，最适合检验项与函数符号的语义；后者只有比较，最容易把「可定义集」的多寡看得清清楚楚。此后每一节都会请它们出场一次，与它们混熟，本章的技术就有了抓手。

第一章 语言与结构：模型论的字母表1.1 一阶语言：常量、函数与关系

★ 一门理论要能被公理化，先得有一张词汇表。一阶语言的词汇表分成两半：一半是逻辑符号，任何理论都相同；另一半是非逻辑符号，由理论自己携带。把这后一半写下来并注明每个符号「吃几个参数」，就得到签名。

逻辑符号是固定的一份：可数多个变量 x₁, x₂, x₃, …；连接词 ¬ ∧ ∨ → ↔；量词 ∀ ∃；等号 =；以及括号。它们不随理论改变，因而从不写进签名。常量符号可以看作零元函数符号——它不吃参数、直接吐出一个人——把常量单列只是为了书写顺眼。

签名即词汇表。举几门熟悉的学问为例：

最后一行的几何签名值得多看一眼：I(p, l) 读作「点 p 落在直线 l 上」，≡(p, q, r, s) 读作「线段 pq 与线段 rs 合同」。欧氏、仿射、射影、罗巴切夫斯基、球面五种几何共用这一个签名，差别只在公理——这正是第三章的主戏，此处先记下这个名字。

本节只立了词汇表，还没规定这些词怎么用。下一节让符号「落地」：给每个符号指定一个具体对象去解释，就得到结构。

第一章 语言与结构：模型论的字母表1.2 结构：论域与解释

★ 签名是一张空表格，结构是把它填好的成品。填表的动作称为解释：常量符号指向一个元素，函数符号指向一个运算，关系符号指向一个子集。

𝒜 ＝ (A; c^𝒜, f^𝒜, R^𝒜)_{c∈C, f∈F, R∈R}.

集合 A 称为 𝒜 的论域（域）记 |𝒜| = A，它的基数 |A| 也称结构的基数，记 |𝒜|。有限论域的结构叫有限结构，否则叫无限结构。约定：等号 = 是逻辑符号，在任何结构里都解释为「真的相等」，不写进签名，也不允许被重新解释。

注意关系与函数的分工：n 元函数符号与 (n+1) 元关系符号都对应 Aⁿ 上的数据，但函数要求每个输入恰有一个输出，关系则允许「有」与「没有」两种自由。群运算 · 是函数，图的邻接 E 是关系——这一字之差，日后会开出两套不同的模型论工具。

一张结构表。把签名逐行填上解释，结构就一目了然。以 σ_环 = {+, ·, 0, 1} 上的整数环为例：

于是 𝒵 = (ℤ; +, ·, 0, 1)，基数 |𝒵| = ℵ₀；把 ℤ 换成 ℚ 得 (ℚ; +, ·, 0, 1)，同一个签名；再添一个关系符号 <，得 (ℚ; +, ·, <, 0, 1)，是扩张后的签名上的结构。所有这些都是「同一个签名的一族世界」——这正是全书反复出现的主题。

至此「世界」有了，却还没有「话」。下一节制造句子。

第一章 语言与结构：模型论的字母表1.3 项、公式与自由变元

★★ 拿到签名与结构之后，要说出「关于这个结构的话」。话分两级：先把符号拼成指称对象的项，再把项拼成可以判真假的公式。两级都是递归定义，这保证了一句话总有有限的长度、可以被机械地拆开检验。

自由变元与句子。公式里出现的变元分两种：被量词 ∀x 或 ∃x 管住的叫约束出现，其余叫自由出现。一个变元的自由出现指它还需要外部「填值」；约束出现则由量词自己遍历论域取遍一切元素。把 φ 中所有自由出现的变元收集起来，记 Free(φ)；若 Free(φ) = ∅，则 φ 是一个句子（又称闭公式）。句子不依赖任何外部赋值，可以独立地对一个结构判真伪——它是理论的基本单位。

公式的构造像搭积木，每一步都有唯一的外形，因而可以画成一棵语法树：叶子是变量与常量，内结点是函数符号，枝上是连接词与量词。语法树是「机械地读一句话」的凭据，也是下一节递归定义满足关系的骨架。

语法到此完备。下一节给它装上语义：规定一棵语法树在某个结构里何时为真。

第一章 语言与结构：模型论的字母表1.4 满足：语义的递归定义

★★ 现在到了本章的心脏：把「φ 在 𝒜 中为真」写成一个可逐条检验的定义。做法与语法树同构——先给项定值，再沿树自下而上定义满足。

量词条款里的 s(x ↦ a) 是全部机关所在：∀ 要求把 a 遍历 整个论域 A，∃ 只要求找到一个。因此量词的强度取决于论域大小——同一个句子在有限结构与无限结构里可以有完全不同的真值，这正是第二章模型大小理论的起点。

引理 1.9 有一个立竿见影的推论：句子的真值不依赖任何赋值。既然 Free(φ) = ∅，任何两个赋值都「在自由变元上一致」，故 𝒜 ⊨ φ[s] 的真值与 s 无关。于是对句子可以简写 𝒜 ⊨ φ，读作「𝒜 是 φ 的模型」——下一节的两位主角就此登场。

第一章 语言与结构：模型论的字母表1.5 理论与模型：Th(𝒜) 与 Mod(T)

★★ 有了句子，就可以把「一门理论」与「它描述的世界」这两个概念精确化。理论是句子的集合，模型是满足全部句子的结构；两者之间是一条双向翻译的通道。

两个定义一正一反：Mod 从句子集走到结构类，Th 从结构走到句子集。把同一门语言的全体句子记为 Sent(σ)，则 Th(𝒜) ⊆ Sent(σ) 而 Mod(T) 是一类 σ-结构——两者是同一个「满足」关系的两种读法。

两个例子。① 群公理 T_grp（结合律、单位元、逆元三条句子）的模型类正是全体群——一个理论管住一整类代数对象，这是模型论与抽象代数第一次握手。② 结构 (ℤ, +, 0) 的 Th 记录了整数加群能被一阶语言说出的每一条性质；而 Th(ℚ, <) 则描述稠密无端点的线性序。两类句子天差地别，却由同一套语法规则生成。

值得注意的是 Th(𝒜) 一般「很大」：只要语言是可数的，它便是可数无穷多的句子。理论不必有限——公理可以有无限多条，这一点下一节与第二章都要反复用到。

第一章 语言与结构：模型论的字母表1.6 同构与嵌入

★★ 两个结构什么时候「长得一样」？最严的标准是同构：存在一一对应，把常量、函数、关系原封不动地搬运过去。次一等的标准是嵌入：把一个结构装进另一个，结构原封不动而外观可以更小。还有一等介于两者之间的关系——初等嵌入，它只管句子。

条件③ 是双向的：关系不仅被保持，也被反映。把③ 的单向版本（∈ R^𝒜 ⟹ ∈ R^ℬ）与①② 合起来，加「h 单射」，就叫嵌入（强同态）；同构不过是满的嵌入。嵌入把 𝒜 嵌进 ℬ，𝒜 是 ℬ 中一个「结构相同」的副本。

三者的力量阶梯是：同构 ⟹ 初等嵌入 ⟹ 嵌入。同构保全部结构数据，初等嵌入只保「能用一阶句子问出来的一切」，嵌入还要更弱些。反过来，两个结构若一样地满足所有句子，称 初等等价 𝒜 ≡ ℬ。

定理 1.16 的逆不成立，反例极简单：(ℚ, <) 与 (ℝ, <) 都是稠密无端点的线性序，满足同一批句子（即 ≡），但一个可数、一个不可数，不可能同构。这说明初等等价看不见「大小」——第一章埋下的这颗钉子，第二章的 Löwenheim–Skolem 定理会把它锤成大梁。

第一章 语言与结构：模型论的字母表1.7 子结构与扩张

★★ 同构是把两个结构并排比较，子结构则是把一个结构装进另一个。装法有松紧两档：只要求函数不跑出去，是子结构；若连「能不能问出差别」都一样，就是初等子结构。

条件② 意味着「子」不是随便取子集：A 必须对函数封闭，还要包含全部常量。特别地，若语言里没有函数符号与常量符号（例如纯序语言 {<}、纯图语言 {E}），则任意非空子集都是子结构——这让序与图成为最便于做例子的两门语言。

松一档：初等子结构。子结构只看原子层面的数据是否一致，初等子结构要强得多：不但 A ⊆ B，而且对每个公式、每个来自 A 的参数组，两者判定完全一致。

判别初等子结构有一个实用准则（第三章与第五章会用）：Tarski–Vaught 判别法——若 𝒜 ⊆ ℬ，且每当 ℬ 中存在某个 ā ∈ A 的见证 b 使 ℬ ⊨ ∃y φ[ā, b] 时，A 中也必有这样的见证，则 𝒜 ≼ ℬ。要点是：存在量词的见证「跑不出去」，其余条款由子结构与归纳自动满足。

第一章 语言与结构：模型论的字母表1.8 同态、商结构与归约

★★★ 同构要求双向保结构，嵌入要求单射，再松一档就得到同态：只要求「结构从前传到后」，不要求反映、不要求单射。同态把一个结构压扁成另一个，最典型的压法叫商；与之相反的操作是归约——把冗余的符号丢掉。

同态像与商结构。同态 h 的像 h(A) 对函数封闭、含全部常量，因而配上 ℬ 的解释限制就是一个子结构——同态把「源」压成「目标里的一个副本」。商结构则是另一种压法：在同一个论域内部，把等价的元素认作一个。

同余的关键是「良定义」：把 f^𝒜/≡ 定义在等价类上，必须保证类中任何代表算出的结果落在同一个类里——这正是同余条件② 的用途。群论里的范例：G/N 只有在 N 是正规子群时才是群，而「正规」正是「陪集等价是同余」的代数说法。模型论不过是把这条熟悉经验搬到了一般签名上。

第一章 语言与结构：模型论的字母表1.9 可定义集：语言能看见什么

★★★ 到此为止的结构都是「整体」比较。本节把镜头推进到结构内部，问一个更细的问题：给定一门语言，它能在结构里「指认」出哪些子集？答案就是可定义集，它是模型论最核心的对象。

关系与函数也可定义：n 元关系 S ⊆ Aⁿ 可定义，即存在公式使之等于 S；函数 g : Aⁿ → A 可定义，即它的图 {(ā, g(ā))} 作为 (n+1) 元关系可定义。一句话：语言能「看见」的，就是它可定义的那些子集、关系与函数。

② 的论证值得一读：语言里只有 <，没有常量，因此在单变元 x 上能写出的原子公式只有 x = x（恒真）。所有不合参数的公式都是它的布尔组合，故只能得到 ∅ 或 ℚ。（第四章会给出系统的量词消去证法。）对照①，可见同一门「序」的语言贫弱，加了 +, · 与常量后就骤然富强。

封闭性质。可定义集对布尔运算封闭：¬ 对应补，∧ 对应交，∨ 对应并。更进一步，∃ 对应投影：由 n+1 元可定义集 φ(𝒜) ⊆ Aⁿ⁺¹，公式 ∃x_n+1 φ 定义的恰是它在最后一个坐标上的投影。这条几何画像下一节将单独成页。

至此，语言「看得见什么」有了定义。但它看不见的部分靠什么补？——靠参数。下一节给公式装上「可指名道姓的元素」。

第一章 语言与结构：模型论的字母表1.10 参数与可定义闭包

★★★ 上一节的可定义集只能用「逻辑符号＋签名」写公式，像一台没有名字可唤的机器。若允许公式里直接点名结构中的某些元素，可定义的范围就宽了——这正是参数的用处，也是 dcl 与 acl 两个闭包算子的舞台。

参数让同一形状的公式「随地点而变」：在 (ℚ, <) 中，无参数公式只能定义 ∅ 与 ℚ，但取参数 a ∈ ℚ 后，x < a 就定义了左下闭射线 (−∞, a)。参数把「语言看得见什么」从固定画面升级为可移动的镜头。

第一章 语言与结构：模型论的字母表1.11 量词即投影：语义的几何图像

★★★ 可定义集的定义抽象，画成图却极为直观：存在量词就是投影。把 n+1 个坐标里最后一个「压平」到前 n 个坐标上，得到的正是 ∃ 所定义的集合。本节把这条几何画像说清楚，它将在第四章变成可判定性的引擎。

命题 1.33 给出可定义集的生成语法：从原子公式定义的集合出发，反复施行补、并、交（对应 ¬ ∨ ∧）与投影（对应 ∃），得到的恰是全体可定义集。量词于是不再是「模糊的遍历」，而是一个具体的几何操作——把高维区域投到低维。

通往「消去量词」。如果一门理论的每个公式都等价于一个无量词公式（即只由原子式经布尔运算拼成），那么在它里面投影的结果总能被「压平」回无量词层——判定一个句子的真伪就退化为有限步的算术核对。这正是 Tarski 判定初等代数学与初等几何的路线，第四章会把它完整走一遍；此处记住一句口号即可：量词消去＝投影能被语言自己描述。

第一章 语言与结构：模型论的字母表1.12 理论的语义分类：完备、一致与可满足

★★★ 一门理论能有多「整齐」？模型论用四个维度给它排座次：有没有模型（可满足）、有没有内在矛盾（一致）、能不能对每个句子表态（完备）、以及在某个基数上模型是否唯一（范畴）。这一节的分类法，是第二章、第五章全部大定理的坐标系。

四个刻度并不平行：完备 ⟹ 一致 ⟹ 可满足（在第一章里「一致 ⟹ 可满足」还是印象，需要第二章的完备性定理才能兑现），而范畴性是最后一维，管的是「某个大小上模型唯一」。两个例子把这些刻度钉牢：

第一章 语言与结构：模型论的字母表1.13 实例：图、序、群与域作为结构

★★ 抽象的定义要落回熟悉的学问才算数。本节把图、序、群、环、域、向量空间逐一套进「签名＋公理＋模型类」的模具，做成一排结构表。这张表是本章的成果清单，也是全书反复回访的地标。

读这张表要抓住三个现象。其一，公理都是一阶句子。「每个非零元有逆」写成 ∀x (x ≠ 0 → ∃y (x · y = 1))——量词只遍历元素，不遍历子集或函数，这正是「一阶」的含义。其二，同一签名可以有很多理论。环签名上加了 1 ≠ 0 与可逆性两条，就从环升格为域；扩张语言或加公理，都在缩小模型类。

向量空间的语言值得单独一提。它的签名随基域 K 而变：每个标量 λ ∈ K 都是一个一元函数符号 λ·，把向量 v 送到 λv。当 K 无限时签名无限，但这不碍事——模型的公理里每条标量律仍只需一个句子。向量空间的理论是完备且（对固定维数）范畴的，这一族例子将在第五章充当「稳定理论」的样板。

第一章 语言与结构：模型论的字母表1.14 实例：几何作为结构（点集与关系）

★★★ 几何是模型论的母亲：平行公设之争逼出了「公理—模型」这一对概念。本节把五种几何装进同一个签名，看它们如何仅凭公理的差别分成五片地貌——这是第三章的预习，也是全书最戏剧性的一幕的布景。

把 I 与 ≡ 的公理分组，可分三批。关联公理：两点确定唯一直线，∀p∀q(p ≠ q → ∃!l(I(p,l) ∧ I(q,l)))；每线至少两点。合同公理（Hilbert 式）：线段的搬移与传递，以及三角形全等的 SAS 条款。平行公设：这一条是唯一「因地而异」的——换一个版本，世界就换一副面孔。

这张表藏着一个惊人的事实：五种几何共用一门语言，只是各自挑选了不同的平行条款。于是，把欧氏几何的其余公理（关联＋合同＋连续性）保留下来、只把平行公设换成双曲版本，得到的仍是一个自洽的系统——这套公理有模型（Poincaré 圆盘），而它里面「三角形内角和等于两直角」为假。这正是平行公设独立于其余公理的模型论证明：既然存在反例模型，就不能从其余公理推出它。

最后留一句本章与第三章的接头暗号：几何是点的集合，公理筛选合格的点集，平行公设的独立性靠「另造一个模型」来证明。这套「造模型—看真值—判独立」的三段式，正是全书方法论的主干。

第一章 语言与结构：模型论的字母表1.15 语言的选择决定理论的面貌

★★★ 本章最后一节要给全章一个「世界观」的收束。同一个结构，配不同的语言，会呈现出完全不同的理论面貌：可定义集的多寡变了，能问出的问题变了，甚至连「这门理论是否可判定」都变了。语言不是中立的工具，它是理论的取景框。

可定义集随语言膨胀。在 (ℚ, <) 里，无参数可定义子集只有 ∅ 与 ℚ（§1.9 例 1.27）；一旦把语言扩成 (ℚ; +, ·, <, 0, 1)，可定义的子集骤然变多：每个多项式不等式 p(x) > 0 都定义一段或几段区间，一切半代数集都成为可定义集。语言越富，看得见越多——这句口号在本书第四、五章会被反复量化为「可定义集的复杂度」。

为什么多加两个函数符号就有此差别？直觉是：+, · 让语言可以谈论「编码」。有了加乘，一个公式能通过哥德尔编码指涉自身，说谎者悖论式的自我指涉随之登场；而只有后继的语言太贫，连「把一句话写成数」都做不到。可判定性的崩塌正来自这种表达力的膨胀。第四章的 Tarski 机器将与这条界线正面相遇。

全章到此收束。字母表已经造好：语言给词，结构给世界，满足关系把两者接上，模型类与可定义集给出理论的地形。下一章将动用第一个大定理——紧致性，看有限的信息如何约束无限的模型。

第一章 语言与结构：模型论的字母表例题课（一）：结构、满足与可定义集

第 1 题（用语言说话）。在无向图语言 σ = {E⁽²⁾} 中：① 写出表达「恰有 3 个元素」的句子；② 写出表达「没有孤立点」的句子；③ 写出表达「三角形含至少一条边」的句子。

解。① 恰有 3 个元素：「存在 x, y, z 两两不同，且一切元素都在其中」，即 ∃x∃y∃z (x≠y ∧ y≠z ∧ x≠z ∧ ∀w(w=x ∨ w=y ∨ w=z))。② 无孤立点：∀x∃y E(x,y)。③ 三角形含至少一条边——注意「三角形」在关系语言里不是一个对象，必须展开为「三点两两相邻」：∃x∃y∃z (x≠y ∧ y≠z ∧ x≠z ∧ E(x,y) ∧ E(y,z))——只要求三条边里的两条，最省力地表达「有一个含边的三角形」。∎

第 2 题（逐条验真）。设 𝒜 = (ℤ, <)，赋值 s(x) = 1。判定 𝒜 ⊨ ∃y (y < x)[s] 与 𝒜 ⊨ ∀x∃y(y < x)。

解。第一句：按存在条款，需找 a ∈ ℤ 使 𝒜 ⊨ (y < x)[s(y ↦ a)]，即 a < s(x) = 1。取 a = 0，成立，故第一句在 s 下为真（它含自由变元 x，故真值依赖 s）。第二句无自由变元，是句子：对每个 x ∈ ℤ 都能找到更小的 y（整数的无最小元性质），故为真。注意对照 (ℕ, <)：同一句子在其中为假，因为 0 没有前驱。∎

第 3 题（定义整除与素数）。在 (ℕ; +, ·, 0, 1) 中写出定义 x | y 与「x 是素数」的公式，并说明 0、1 的出现是必要的。

解。整除：Div(x,y) := ∃z (y = x · z)。素数：Prime(x) := (x ≠ 0 ∧ x ≠ 1) ∧ ∀y∀z(x = y·z → (y = 1 ∨ z = 1))，即「大于 1 且只能被 1 与自身整除」。常量 0、1 必需：否则「y = 1」无法写出（若不设常量，只能用 ∃u(u = u) 之类绕路，且无法指名「唯一的不动点」）。这也印证了签名设计的重要性：少一个常量，语言就少一种表达能力。∎

第 4 题（序结构里的可定义集）。在 (ℚ, <) 中，取参数 a ∈ ℚ，写出定义 (−∞, a)、{a} 的公式；并说明为什么不含参数时只有 ∅, ℚ 可定义。

解。(−∞, a) = {x : x < a} 由原子公式 x < a 定义；{a} = {x : x = a} 由 x = a 定义。无参数情形：语言中无常量符号，单变元 x 上可用的原子公式只有 x = x（恒真，因为 < 需要两个不同变元才有内容），故一切公式都是它的布尔组合，取值只能是 ∅ 或 ℚ。参数一进来，镜头就被「提到」了指定高度 a，可定义集随之丰富。∎

第一章 语言与结构：模型论的字母表例题课（二）：构造模型与证明独立性

第 1 题（群论不判定交换律）。证明：交换律 ∀x∀y(x·y = y·x) 既不能被群公理推出，也不能被它反驳——即它与群公理独立。

解。独立性靠「造两个模型」证明。① 取 𝒜 = (ℤ; +, 0, −)（加法写成 ·）：它是群，且交换律为真。② 取 ℬ = (S₃; ∘, id, ⁻¹)，三个元素上的置换群：它是群，但两个相邻对换不交换（(12)(23) ≠ (23)(12)），交换律为假。两模型都是群公理的模型，却对同一句子真值相反，故该句子独立于群公理。∎

第 2 题（有限结构被一个句子刻画）。设 𝒜 是有限 σ-结构。证明存在一个 σ-句子 σ_𝒜，使对任意 σ-结构 ℬ 有 ℬ ⊨ σ_𝒜 ⟺ ℬ ≅ 𝒜。（这解释了为什么有限结构的行为与无限结构如此不同。）

解。先给每个 a ∈ A 造一个「名牌公式」χ_a(x)，再用它们「拼出整张结构表」。设 A = {a₁,…,a_n}，构造：① 「恰有 n 个元素」的句子；② 对每对 i ≠ j，句子 c ≠ d 形式的区分；③ 逐一描述每个常量指哪个 a_i、每个函数把哪组输入送到哪个输出、每个关系在哪些元组上成立（正反面都写）。把这些有限条合取起来得 σ_𝒜。任何 ℬ ⊨ σ_𝒜 必与 𝒜 基数相同且「结构表逐格一致」，可见 ℬ ≅ 𝒜；反之同构的 ℬ 由同构不变性满足 σ_𝒜。∎（这条结论与「基数是无限时可以躲开一切句子」形成尖锐对比，见第二章。）

第 3 题（自同构与可定义元素）。证明 (ℚ, <) 没有 0-可定义的元素，即 dcl(∅) = ∅。

解。若 a ∈ ℚ 由无参数公式 φ(x) 定义（即 {a} = φ(ℚ)），则一切自同构都必须固定 a。但 (ℚ, <) 的自同构极多：任取 a < b，都有保序双射把 a 送到 b（在 (−∞, a)、(a, b)、(b, ∞) 三段上分别做保序同构）。于是没有元素被所有自同构固定，dcl(∅) = ∅。∎ 这条推理是模型论里「自同构不动点 ⟺ 可定义」原则的雏形。

第 4 题（稠密序排除有限模型）。句子「有端点」能把有限序与 (ℚ, <) 分开吗？写出 DLO 中表达「无端点」的句子，并说明它为什么排除了全部有限模型。

解。无端点 = 无最小元且无最大元：∀x∃y(y < x) ∧ ∀x∃y(x < y)。在有限全序里必有最小元与最大元，故这句在所有有限序中为假，只有无限序能满足；再配上稠密性（∀x∀z(x < z → ∃y(x < y ∧ y < z))），就得到稠密无端点线性序这一完备理论。∎

第一章 语言与结构：模型论的字母表习题课（一）：语言、结构与语义

习题 1-1（写签名）。为下列理论各写一份签名并注明元数：① 偏序；② 群；③ 无向图；④ ℤ 上的有序阿贝尔群；⑤ ℚ 上的向量空间。⑥ 其中哪一个签名与「环」的签名相同？

提示。① {<⁽²⁾}；② {·⁽²⁾, e, ⁻¹⁽¹⁾}；③ {E⁽²⁾}；④ {+⁽²⁾, 0, <⁽²⁾}（逆元由 + 与 0 定义出，可不设）；⑤ {+⁽²⁾, 0} ∪ {λ·⁽¹⁾}_λ∈ℚ。⑥ 域与环签名相同，都是 {+⁽²⁾, ·⁽²⁾, 0, 1}——差别只在公理。

习题 1-2（结构表）。把 𝒜 = (ℤ; +, ·, <, 0, 1) 填成一张结构表（符号／类型／解释），并指出它与 (ℚ; +, ·, <, 0, 1) 是否同构，理由为何。

提示。五个符号五条解释，逐行照定义 1.2 填。不可同构：ℤ 里句子「每个元素都有前驱」∀x∃y(y < x) 为假（0 无前驱），ℚ 里为真——不同构可由「一个句子真值不同」来判定，这是本章最常用的一招。

习题 1-3（自由变元）。判断下列公式哪些是句子，并列出自由变元：① ∀x(x · y = y)；② ∃y∀x(x < y)；③ (x < y) ∧ ∀z(y < z)；④ ¬∃x(x = x)。

提示。只有②④ 是句子。① 自由变元 {y}（量词管的是 x）；③ 自由变元 {x, y}（z 被约束）；②④ 无自由变元。要点：同一变元在不同出现处可一自由一约束，须逐处看量词辖域。

习题 1-4（满足的计算）。设 𝒜 = (ℤ; +, ·, 0, 1, <)，赋值 s(x) = −1。逐条依定义 1.8 计算 𝒜 ⊨ ∃y(x · y = 1)[s] 的真值。

提示。先算项 x · y 的值：把 y 依次指派到 ℤ 中元素。要找 a 使 (−1)·a = 1，即 a = −1——存在，故为真。若把 s(x) 改成 2，则需 2a = 1 无整数解，为假。要点：真值随赋值而变，因为 x 自由。

习题 1-5（可定义集）。在 (ℕ; +, ·, 0, 1) 中，写出定义下列集合的公式：① 偶数；② 完全平方数；③ 三元组 {(x,y) : x < y}（不含 < 符号，用算术表达）。

提示。① ∃y(x = y + y)；② ∃y(x = y · y)；③ 用「存在非零差」：∃z(z ≠ 0 ∧ x + z = y)——这把序关系「翻译」成了算术，说明同一个集合可由不同语言的不同公式定义。

第一章 语言与结构：模型论的字母表习题课（二）：模型构造与元数学结论

习题 1-6（数同构类）。列出 3 个元素上一切无向图的同构类，并指出其中有几个满足「无孤立点」。

提示。3 点上无向图的同构类按边数分：0 条边（3 孤立点）、1 条边、2 条边（相邻两边的「角」与两条独立边，共 2 个类）、3 条边（K₃）。合计 4 个同构类。满足「无孤立点」的是「两条相邻边」（中心点连着两端）与 K₃——共 2 个。此题的收获：同构类计数是「地形」的第一层刻度。

习题 1-7（嵌入不等于初等）。举出两个结构 𝒜 ⊆ ℬ 使 𝒜 不是 ℬ 的初等子结构，并写出一条在 ℬ 真、在 𝒜 假的句子。

提示。取 𝒜 = (ℕ, <)，ℬ = (ℤ, <)。句子 ∃x∀y ¬(y < x)（有最小元）在 𝒜 真、在 ℬ 假——注意方向：需要「在 ℬ 真而 𝒜 假」的句子时，改用 ∀x∃y(y < x)（无最小元），它在 ℬ 真、𝒜 假。判别初等子结构要两个方向都核。

习题 1-8（商结构）。设 (ℤ; +, 0) 上的等价关系「a ≡ b ⟺ n | (a − b)」。验证它是同余关系，写出商结构 ℤ/nℤ 的论域与加法解释。

提示。同余条件②：若 a ≡ a′、b ≡ b′，则 (a+b) − (a′+b′) = (a−a′) + (b−b′) 仍被 n 整除，故加法良定义。论域是 {0̄, 1̄, …, (n−1)̄} 共 n 个类；解释 [a] + [b] := [a+b]。要点：商结构的存在性完全依赖「同余」，这道验证不可省。

习题 1-9（语言决定面貌）。同一个论域 ℤ，分别配语言 {+} 与 {+, ·}：说明为什么在前者里「x = 0」可定义（给出公式），而在后者里可定义集更多，并各举一个只在后者可定义的集合。

提示。(x = 0) := ∀y(x + y = y)，只用 + 即得（0 是加法单位元，唯一）。只靠 + 能定义的子集受限于「线性」，例如 {x : ∃y(x = y+y)}（偶数）已是最复杂的一类；加上 · 后，{x : x 是平方数} 与「整除」都可定义——语言越富，看得见的越多（§1.15）。

习题 1-10（选做·元数学）。由习题 1-2 的例题结论（有限结构可被一个句子刻画），说明：为什么不可能用一个句子集合把「(ℕ, <) 的所有有限前缀」一次性排除干净？（提示：考虑紧致性，第二章将证明。）

提示。先埋钉子：设有一族句子 Θ 表达「序是有限的」。任何有限序都满足 Θ 的任意有限子集（取足够大的有限序即可），但无限序 (ℕ, <) 满足整个 Θ 吗？——这正是紧致性定理要裁决的：若 Θ 的每个有限子集都有模型，则 Θ 有模型，且可造出「看似有限、实则无限」的模型。第二章会把它证成「有限性不可一阶表达」这一著名结论。

第一章 语言与结构：模型论的字母表本章地图：概念依赖与构造线路

本章的概念网是一条自下而上的阶梯：签名 → 结构 → 项与公式 → 满足 → 理论与模型类 → 结构间的操作 → 可定义集与参数 → 量词即投影 → 理论分类 → 代数与几何实例 → 语言的选择。每一层只调用它下层已经备好的东西，因此整张地图可以按依赖顺序一次走通，不必回头。本页把全部依赖画成一张图，随后两页按「语法与语义」「模型与构造」分头清点。

三个关口。地图上有三处最容易卡住的地方。① 项与公式的递归生成（§1.3）：亲手把「x · y = 1」写成一棵树，才能看清「自由变元」到底指什么。② 满足的递归条款（§1.4）：存在量词那一条要引入「子赋值」，它是全章技术含量最高的一步，也是「量词即投影」（§1.11）的伏笔。③ 可定义集与参数的登场（§1.9–§1.10）：从「无参数」到「带参数」，镜头由固定变为可移动，dcl 与 acl 的差别正是「唯一」与「有限」的差别。

两条主干。左主干是语法侧：符号如何拼成项与公式；右主干是语义侧：结构如何把一个公式判成真或假。⊨ 是两条主干唯一的接口——它左边是符号串，右边是结构，中间横着一条真值。书中反复出现的动作全部发生在这条接口上：Th 与 Mod 是接口的两个方向，≅、↪、≺ 是接口两侧的比较，独立性判决则是「拿同一条句子去两个模型上分别问一次」。

一条捷径。若只求抓住主线，可以沿中央一列直下：签名 → 结构 → 公式 → 满足 → Th/Mod，再到 §1.12 的四个刻度；左右两列的「结构操作」与「可定义集」留作第二遍精读。§1.13 与 §1.14 的两张结构表是全章的结算单，读到那里再回头把前面的定义核对一遍，理解会一次到位。

通向外部的接口。① 满足的递归条款与紧致性 → 第二章的主菜；② 可定义集与量词即投影 → 第四章的量词消去机器；③ Th(𝒜) 与 acl → 第五章的类型与代数闭包；④ 语言的选择与可判定性 → 第六章「加一个符号就改变理论命运」的更极端样本；⑤ 几何签名 σ_geo → 第三章五种几何的模型地形。本章是全书的地基：往后每一章都要回到这张图上来取工具。

第一章 语言与结构：模型论的字母表本章小结（上）：语法与语义篇

本页任务。把第一章的语法与语义部分清点一遍：五个卡片、三条对比、三个坑。记号一律沿用正文，凡带 §号者可在相应节次回查。

三条对比要牢记。① 符号 vs 解释：同一个 + 在 (ℤ; +) 与 (ℚ; +) 里指的不是同一件事；公式本身不承载真假，落到结构里才判真伪。② 语法 vs 语义：写下一个句子是有限步的符号操作，判定它的真假要遍历结构。③ 自由 vs 约束：句子的真值只取决于结构，带自由变元的公式的真值还取决于赋值。

易错三坑。① 看漏自由变元——∀x(x · y = y) 里 x 被约束、y 自由，它不是句子；② 把结构当成符号串——结构是集合与运算，公式才是符号串；③ 混淆两个「大小」：|𝒜| 说论域有多大，符号的元数说它吃几个参数，二者毫无关系。

第一章 语言与结构：模型论的字母表本章小结（下）：模型与构造篇

本页任务。清点第一章的模型与构造部分：六个卡片、三个必背战例，最后交棒给第二章。

三个必背战例。① (ℚ, <)：无参数可定义集只有 ∅ 与 ℚ，dcl(∅) = acl(∅) = ∅，是「空镜头」的标本。② (ℕ; +, ·, 0, 1) 与 (ℤ; +, 0)：前者能写整除与素数，后者连平方数都写不出——同一论域配不同语言，可定义集天差地别。③ 群签名上的 (ℤ; +, 0, −) 与 (S₃; ∘, id, ⁻¹)：一交换一不交换，同一条交换律句子真值相反，独立性由此判出。

通往第二章。本章把字母表造齐：语言给词、结构给世界、⊨ 把两者接上、Th 与 Mod 给出理论的正面与背面。下一章动用第一个大定理——紧致性，看有限条句子如何约束无限大的模型，并用它造出非标准自然数与无穷小。行李清单：签名、结构、满足条款、可定义集、≅ ↪ ≺——五件全带，紧致性的工厂才开得动。

第一章 语言与结构：模型论的字母表思想卡：真理是相对于模型的

第一章 语言与结构：模型论的字母表挑战：为一门理论画出它的模型地形

任务。选一门已熟悉的初等理论，亲手画出它的「模型地形图」：横轴是不出同构类的世界，纵轴是这些世界的势，箭头是结构之间的嵌入。图不必漂亮，但每一格都要有依据可查。这道题没有标准答案，却有一个统一的验收方式：随手抽一格，都要能说清里面每个世界的来历。

备选理论（任选其一，难度递增）。① 等价关系的理论：签名 {E⁽²⁾}，公理说 E 自反、对称、传递；② 稠密无端点线性序 DLO：签名 {<⁽²⁾}；③ 群的理论：签名 {·⁽²⁾, e, ⁻¹⁽¹⁾}。

六步路线。

两个开放问题（选答）。① 等价关系的理论，在不同基数上模型的同构类个数能否用一个函数一次说清？试着把它写成「基数为 κ 时同构类个数 = ?」的形式。② 群的理论是完备的吗？若不是，指出两族互不初等等价的群，并说明分歧出在哪一条句子（提示：交换律、元素的阶、扭元集）。

验收标准。地形图上任抽一格，都要能说出「为什么这一格里有这些世界」。凡超出本章工具的地方，允许只标注「此处需第二章紧致性或第五章类型」。这正是地图的作用：把已知与未知标在同一张纸上，未知的位置本身就是成果。

第一章 语言与结构：模型论的字母表实验：模型与定理的程序化对拍

实验目的。把本章的语义机器装进程序：用几十行代码实现「项—公式—满足」的递归解释器，再让它去核对本章的三条结论——满足的递归条款、量词即投影、独立性配方。全部代码只用 Python 标准库，无需第三方包，任何 Python 3 环境可直接运行。配套脚本与完整输出见本册实验附件（qa/exp_c1tail.py 与 qa/exp_c1tail_out.txt）。

实验一：一个有穷结构上的递归求值器。结构只需一张表：论域 A、常量解释、函数解释、关系解释。判定的核心是 sat 函数，它按定义 1.8 逐条分支——原子公式查关系，联结词按真值表，存在条款遍历论域找见证、全称条款遍历论域逐个核对。

# 项 t：('c',名) 常量 | ('x',名) 变元 | ('f',名,[子项])
# 式 f：('R',名,[项]) | ('=',项,项) | ('not',式) | ('and',[式…])
#      | ('or',[式…]) | ('imp',式,式) | ('ex',名,式) | ('all',名,式)
def ev(t, A, s):                       # 在结构 A、赋值 s 下求项的值
    if t[0] == 'c':
        return A['const'][t[1]]
    if t[0] == 'x':
        return s[t[1]]
    return A['func'][t[1]]([ev(u, A, s) for u in t[2]])

def sat(f, A, s):                      # A ⊨ f[s]，逐条对应定义 1.8
    k = f[0]
    if k == 'R':
        return A['rel'][f[1]](tuple(ev(u, A, s) for u in f[2]))
    if k == '=':
        return ev(f[1], A, s) == ev(f[2], A, s)
    if k == 'not':
        return not sat(f[1], A, s)
    if k == 'and':
        return all(sat(q, A, s) for q in f[1])
    if k == 'or':
        return any(sat(q, A, s) for q in f[1])
    if k == 'imp':
        return (not sat(f[1], A, s)) or sat(f[2], A, s)
    if k == 'ex':                      # 存在条款：论域里找一个见证
        v, body = f[1], f[2]
        return any(sat(body, A, dict(s, **{v: a})) for a in A['dom'])
    if k == 'all':                     # 全称条款：论域里逐个核对
        v, body = f[1], f[2]
        return all(sat(body, A, dict(s, **{v: a})) for a in A['dom'])

# 三元素线序 A3 = ({0,1,2}; <)
A3 = {'dom': [0, 1, 2], 'const': {}, 'func': {},
      'rel': {'<': lambda ab: ab[0] < ab[1]}}
print('解释器就绪：项与公式都是嵌套的 Python 元组')

把它用在三元素线序 A₃ = ({0, 1, 2}; <) 上，三条句子的判决依次是：「有最小元」真、「无最大元」假、「稠密」假（三个元素排不下一对中点）。换到无限序，前两条的真值随即翻转——真值随模型而变，正是 §1.4 的要点。

实验二：量词即投影。在 A₆ = ({0, …, 5}; ·) 上取公式 x · y = 6，先枚举它的解塔 {(2, 3), (3, 2)}，再把解塔分别投影到两条坐标轴，最后用 sat 直接算 ∃y φ 与 ∃x φ 的解集：两组结果逐点相等（都得 {2, 3}）。这就是命题 1.33 的机器兑现——存在量词不是「模糊的遍历」，而是一次可以打印出来的投影。

实验三：交换律独立于群公理。取两个群：ℤ/6ℤ 的加群与三个字母的置换群 S₃。逐条验群公理（结合律、单位元、逆元），两者都过；再验交换律，前者过、后者不过——S₃ 中两个相邻对换的复合并不交换。一真一假，即证交换律与群公理互相独立（§1.15 的独立性配方）。

实验四：3 点无向图的同构类。枚举 3 个点上全部 2³ = 8 个标号图，用「全部置换下的字典序最小边集」作为规范形，数出 4 个同构类；再对每个类验句子「无孤立点」，得 2 个类为真——与习题课的计数一致。同构类计数是模型地形的第一层刻度。

实验报告要求。① 贴出四段实验的完整输出；② 把实验三的 S₃ 换成 S₄，说明交换律依然为假，并指出哪些 S_n 才交换；③ 回答：实验二里把 6 换成 7，投影结果会变成什么？为什么结论只与整除有关、与「体积」无关？④ 指出自己的解释器在哪一条条款上最容易写错（提示：存在条款对赋值字典的复制——若直接改写 s 而不复制，量词会污染外层赋值）。

第一章 语言与结构：模型论的字母表〖札记〗公理观的东西方传统

希腊的公理链条。欧几里得的《几何原本》成书约在公元前三百年，它从五条公设、五条公理出发，把当时的几何知识编成四百多条命题的演绎链。它的要害不在结论，而在「每条结论都有出处」——这正是本册「结构」概念的祖型：一组初始符号与初始命题（签名与公理），配上一套可检验的推理规则，就能生成一整片可对话的世界。这份方法一千九百年后东传：一六〇七年，利玛窦与徐光启在北京合译《几何原本》前六卷，「几何」一词自此进入汉语；一八五七年，伟烈亚力与李善兰续译后九卷，全帙方才完整。

中国的算法链条。《九章算术》成书约在公元一世纪，全书分九章、二百四十六题，按「问—答—术」编排：每题的「术」是一段可执行的操作序列——方田讲面积、粟米讲比例、衰分讲配分、勾股讲测量。它少谈「为什么」，多讲「怎么做」，却把每个做法都放进一串算题里反复兑现。刘徽于二六三年为它作注，提出「析理以辞」，第一次为算法补上理由；他用割圆术算到圆内接正三千零七十二边形，得圆周率约三点一四一六。稍后祖暅提出的「幂势既同，则积不容异」（祖暅原理），与欧洲的卡瓦列里原理同旨却早了近千年。更早的战国《墨经》已在讨论「故」「理」「类」，是汉语文献里最早的推理学说。

两股传统合成一台机器。希腊的公理提供「结构」，中国的算法提供「模型」；本册反复出现的动作——写下一张结构表、在它上面验算一条句子、再造另一个结构把这条句子判反——恰好把两股传统拧成一股：公理说清「哪一个家族」，算法说清「家族里的哪一个」。平行公设的独立性与祖暅原理的构造，其实是同一件事的两种说法：前者用「另造一个模型」作出判决，后者用「另给一个构造」完成兑现。二者的共同要求都是「可复核」——希腊要每一步都被公理担保，中国要每一术都被算例核对。

札记的注脚。把《几何原本》与《九章算术》并读，会看到两种传统对「证明」的态度判然不同，却对「可复核」这件事同样认真。本册的写法自觉地把这股绳拧紧：每个抽象定义先配一张结构表（学希腊），每条结论再配一次算例与对拍（学中国）。读到这里，若能把第一章的全部定义在两张结构表上各跑一遍，就已经把两种传统都过了一遍手。

第一章 语言与结构：模型论的字母表本章速查表：语言、定理与模型卡

实例小卡。① (ℤ; +, ·, <, 0, 1) 与 (ℚ; +, ·, <, 0, 1) 不同构——句子「无最小元」在后者真、前者假。② DLO（稠密无端点线性序）：完备且 ℵ₀-范畴，唯一可数模型是 (ℚ, <)。③ ACF_p（特征 p 的代数闭域）：每个不可数基数上范畴。④ K-向量空间：签名随标量集而变，固定维数上范畴。⑤ 五种几何共用签名 σ_geo = {I⁽²⁾, ≡⁽⁴⁾}，只靠平行条款分片。

易错三坑。① 把带自由变元的公式当句子（真值依赖赋值）；② 把 |𝒜|（论域大小）与符号元数（吃几个参数）混为一谈；③ 以为「语言越富，旧的可定义集会被弄丢」——扩张语言只会添新的，不会删旧的（命题 1.44）。

下一步。字母表已经造好：语言给词、结构给世界、满足把两者接上、Th 与 Mod 给出理论的正面与背面。第二章进入引擎室——紧致性定理，看有限条句子如何约束无限大的模型，并造出非标准自然数与无穷小。行李清点：签名、结构、满足条款、可定义集、≅ ↪ ≺——五件全带，造模型工厂才开得动。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限第二章导引：有限的信息如何约束无限

第一章交代了「语言—结构—满足」这套字母表：理论 T 是句子的集合，结构 ℳ 是它的一个世界，ℳ ⊨ T 表示这个世界兑现了全部公理。本章换一个更尖锐的问题——有限多句证词，能锁住什么样的世界？

紧致性定理（Gödel，1930）给出的答案反直觉：只要理论 T 的每个有限片段都还有模型，那么整本 T——哪怕它由无穷多条公理组成——也一定有模型。于是「每一份有限的证词都被某个世界兑现」这句听起来很弱的话，竟然禁止了整本 T 落到无模型的地步。这道从有限审查通向无限对象的桥，是本章全部奇迹的发源地。

本章的路线是一条四段上升的阶梯，每一级都踩着前一级：

第一阶（§2.1–2.2）——立定理。先给「有限可满足」一个精确的定义，再把紧致性定理完整证一遍：借 Gödel 完备性定理把「不可满足」翻译成「可推出矛盾」，再用「证明是有限的」这一步收口。证明不长，但它把无限多句公理的生死，押在了一次对有限字符串的清点上。

第二阶（§2.3–2.7）——应用爆发。紧致性一旦到手，立刻造出反直觉的模型：比一切标准自然数都大的非标准数、只差一个无穷小才算相等的超实数；再与 Löwenheim 1915 与 Skolem 1920 的下降定理会合，逼出「ZFC 若有模型就有可数模型，而它在内部仍证明存在不可数集」这一 Skolem 悖论。

第三阶（§2.8–2.11）——比较模型。有了各族模型，就要给它们排序：初等等价 ≡ 与初等扩张 ≺ 定义「看上去一样」；初等链与 Tarski–Vaught 判别法提供认证手段；最后清点「一个理论能有几号模型」——势的谱与范畴性。

第四阶（§2.12–2.17）——反向与实例。把紧致性反过来用，证明「有限域」「无挠群」「良序」都无法用有限多条公理刻画；再回到具体世界：算术的非标准模型、稠密线性序 DLO 的完全性、以及用模型证明几何相对一致性的方法——第三章的入口。

读本章要带两件行李：第一章的语言与满足记号（⊨、结构、公式、可定义集），以及一点「把句子当对象来清点」的耐心——紧致性的证明里，主角从来不是某个具体的数，而是一叠有限的句子。行李齐备时，现在上第一级台阶。

常驻标本：自然数与非标准自然数。结构 𝒩 = (ℕ, +, ·, <, 0, 1) 将在 §2.3 被紧致性撑出一个「多长了一条尾巴」的兄弟，在 §2.14 露出非标准模型的完整面目，在 §2.17 与几何一致性遥相呼应。它小到人人熟悉，又大到足以承载本章全部反直觉的构造——需与它保持熟络。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.1 有限可满足性：一份有限的证词

★★ 本章全部力量的源头，是一个听起来软绵绵的概念：一个理论，只要它的每一份有限片段都被某个世界兑现，就叫「有限可满足」。本节把这个词磨利，并指出它与「可满足」之间那道看似致命的缝。

一个方向的缝是闭合的。若 T 可满足，取那个共同的模型 ℳ，它当然也满足每个有限片段——所以可满足 ⟹ 有限可满足。反方向呢？「每份证词各有各的证人」听起来比「所有人指认同一个证人」弱得多，凭什么能推出后一句？这正是紧致性定理的内容。

第一号标本。取语言含一个常元 c 与关系符号 <，考虑句子集

T = { c > 0, c > 1, c > 2, c > 3, … }

这里的 n 是项 1 + 1 + ⋯ + 1（n 个 1）的缩写。任取有限子集 T₀，它只包含有限多句，句中出现的 n 有最大值 N；把 c 解释成 N + 1（在一个含大数 N + 1 的算术结构里），T₀ 全部为真。所以 T 有限可满足。可是在标准自然数 ℕ 里，没有任何数能大于一切 0, 1, 2, …——在标准世界内部，T 无解。有限证词的账全平，整本账却悬着：缝就在这里。

与有限结构的对照（预告）。如果把目光限制在「有限结构」这个世界里，有限可满足与可满足确实分道扬镳：上面的 T 在有限结构中也有限可满足，却没有任何有限模型。这句话将在 §2.12 长成「有限模型论里紧致性失效」的整节讨论，并召唤出 Ehrenfeucht–Fraïssé 博弈。此处先记住：紧致性是「无限模型」的特权。

本节的收获可以压成一句：有限可满足是一个关于有限清点的性质，可满足是一个关于存在的性质；把两者接上的那座桥，下一节搭。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.2 紧致性定理（完整证明）

★★★ 本节给出紧致性定理的完整证明。证明的骨架只有两句话：「不可满足」等价于「能推出矛盾」（完备性），而「推出矛盾」只用到有限多条公理（证明是有限串）。两句话一接，无限就被有限锁住了。

证明。「⟹」已由 §2.1 给出（共同模型即每个有限片段的模型）。下面证「⟸」。分三步。

为什么这不循环。或许担心：完备性定理本身就是一条重定理，用它证紧致性算不算取巧？不算——完备性刻画的是语法与语义的吻合，紧致性刻画的是「有限片段决定整体」，两者互不蕴含、各有用处。为让证明站得更稳，下面把「一致理论必有模型」这一关键引理（完备性证明的核心引擎）摊开，把它当作一台独立可用的机器。

构造梗概。向语言添入可数多个新常元 c₀, c₁, … 得 L⁺；把 L⁺-句子排成一列 φ₀, φ₁, …。逐步扩张 T：每当轮到 ∃x ψ(x)，就先添入「见证公理」∃x ψ(x) → ψ(c)（c 是尚未用过的新常元），再按「能添 φ 就添、否则添 ¬φ」的规则（Lindenbaum）保持一致，最终得到极大一致的 Henkin 理论 T^* ⊇ T。取全体 L⁺-闭项作论域，把关系符号按「T^* 可证」来解释，得到的项模型满足 T^*，从而满足 T。Henkin 见证保证每个存在句都有项作见证，Lindenbaum 保证每个句子非真即假，故项模型良定义。∎（要略）

两路合流。有了引理 2.3，定理 2.2 也可直接走：T 有限可满足 ⟹ T 一致（否则有限子集 T₀ ⊢ ⊥，由可靠性无模型）；再由引理 2.3，T 有模型。两条证明路殊途同归，前者借用完备性这个成品，后者拆开看引擎；择一记忆，但两条都值得走上一次——这正是「有限清点锁住无限」这一思想的两种展开方式。

紧致性还有一条反方向的说法，将在后文反复使用：若 T 的每个模型都满足 φ，则存在有限 T₀ ⊆ T 使 T₀ 的每个模型都满足 φ（否则把 ¬φ 并入 T 仍有限可满足，与紧致性抵触）。这条「有限析出」的形式，是 §2.13 判定「不可有限公理化」的利器。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.3 紧致性的直接应用：非标准模型

★★ 定理到手，先别急着欣赏，用它造几个怪物。本节给出紧致性造模型的三步配方，并立刻兑现出本章第一件反直觉的产物——非标准自然数。

三步配方。想造一个「比现有结构更大更怪」的模型，只需：

标本一：装不下的尾巴。把上述配方用在 Th(ℕ) = Th(ℕ, +, ·, <, 0, 1) 上，添加句子 c > 0, c > 1, c > 2, …。所得模型 𝒩^* 满足 Th(ℕ) 的每一句话，故与 𝒩 初等等价（§2.8）；可它的论域里多出一个元素 c，大于一切标准数 0, 1, 2, …。这样的模型叫 𝒩 的非标准模型，c 叫非标准数。注意 c 不是「某个很大的自然数」——它比每一个标准自然数都大，标准自然数全体在它面前被一次越过。

标本二：有任意大的有限，就必须有无限。在某语言里写下「论域至少含 n 个元素」的句子 φ_n（用 n 个两两不等的常元表达），并取 T = {φ₁, φ₂, φ₃, …}。任意有限子集只要求「至少含 N 个元素」，一个足够大的有限结构即可兑现；故 T 有限可满足，由紧致性有模型——但任何有限结构都装不下「至少含一切 n 个元素」的要求，所以这个模型必为无限。「任意有限大」被紧致性一举抬升成「无限」，这是它的标志性戏法。

配方为何屡试不爽。三步配方之所以万能，是因为它只依赖紧致性一条性质，而紧致性只依赖「有限片段」——凡能用「足够大 / 足够接近 / 足够多」这类永远可以取更极端的条件描述的愿望，都能被它兑现为模型。§2.4 用它造超实数，§2.13 反过来用它拦截有限公理化，§2.14 用它给算术画出整片模型地形。一个工具，正反两用——这是本章的第二次「换角」。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.4 非标准分析一瞥：无穷小的复活

★★★ 十七世纪的微积分脚下踩着「无穷小」这个幽灵：它时而不为零（可作除数）、时而又为零（可被舍去）。Cantor 的实数理论把幽灵逐出了分析，直到 1960 年 Robinson 用紧致性把它了回来——这一次它有了严格的身份：非标准实数 *ℝ 里的元素。

历史一分钟。Leibniz（1670–1680 年代）发明微积分时，用「无穷小量」dx 表述求导：dy/dx 是两个无穷小之比。Berkeley 主教 1734 年嘲讽它们是「消逝量的鬼魂」——一会儿是 0 一会儿又不是，逻辑上讲不通。整个十九世纪，Cauchy、Weierstrass 用极限 ε-δ 语言重写分析，把无穷小换成「任意小但有限的量」。幽灵被驱逐了 150 年。Skolem 1934 年造出算术的非标准模型（正是 §2.3 的标本一）；Robinson 在 1948 年前后的代数工作中注意到，同样的紧致性手法可以给实数造出一个含无穷小的兄弟；1960 年他正式宣布非标准分析成立：无穷小有严格基础，Leibniz 是对的。

怎样造出无穷小。取实数结构 ℛ = (ℝ, +, ·, <, 0, 1) 的一个非标准模型 *ℛ = (*ℝ, +, ·, <, 0, 1)：引入新常元 c，添加句子「0 < c < 1」、「c < 1/2」、「c < 1/3」……（每个有限片段只需把 c 取成足够小的正实数即可兑现，故有限可满足）。由紧致性，*ℛ 存在，其中 c 的正实数值比 一切正实数都小——这就是一个无穷小（infinitesimal）。*ℝ 的论域比 ℝ 大：每个实数 r 周围都黏着一圈「r + 无穷小」，还有比一切实数都大的无穷大元素。

转移原理。非标准分析的全部威力浓缩为一条转移原理（transfer principle）：任何用一阶语言写出的关于 ℝ 的句子，在 ℝ 中为真当且仅当在 *ℝ 中为真。理由正是 *ℛ ⊨ Th(ℛ)——*ℝ 是 ℝ 的非标准模型，两者的全部一阶性质重合（§2.8 将把这条重合命名为「初等等价」）。于是经典定理自动搬运到非标准世界，而无穷小、无穷大这些新居民只在「点集 / 超限」层面的论述中出场——它们不在实数的标准论域里，却被同一个理论合法地承认。

无穷小的复活改变了什么。有了它，导数的定义可以写得像 Leibniz 当年那样干净：f′(x) = st((f(x+dx) − f(x))/dx)，其中 dx 是无穷小、st 取「标准部分」（把无穷小抹掉）。极限的 ε-δ 语言被 dx 的代数运算替代，直观回来了、严格性没丢。Keisler 1976 年的非标准微积分教材、以及 Robinson 学派对紧算子、测度论、组合数论的诸多重写，都建立在这条转移原理上。三百年前被嘲讽的「鬼魂」，如今成了一门学科的合法居民——这正是本章思想卡所要说的事：真理是相对于模型的，换个模型，被放逐的概念就能复活。

下一节起，我们把镜头从「造出更怪的模型」转向「造出更小的模型」——Löwenheim–Skolem 下降定理将告诉我们：任何有无限模型的理论，都有一个可数模型，足够小，小到能装进一本账。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.5 Löwenheim–Skolem 下降定理

★★★ 紧致性把模型越造越大；本节反其道而行，证明任何有模型的理论都有一个足够小的模型。这条定理由 Löwenheim（1915）提出、Skolem（1920）改造成现在通用的形式，是模型论最早的元定理之一，也是「站在模型外面看模型」这件事的第一次正式登场。

证明（Skolem 壳层法）。取 ℳ ⊨ T（由可满足性）。若 ℳ 本就可数，已毕；否则我们要在 ℳ 内部挖出一个可数的初等子模型。核心工具是「把存在句的见证一劳永逸地钉住」。分三步。

于是 𝒩 ⊨ T（初等子模型满足同一批句子），且 |𝒩| ≤ ℵ₀。∎

两点提醒。① 这条定理说的是「有可数模型」，不是说「所有模型都可数」——ℳ 本身可能很大，我们只是在它内部挖出一个小小的替身。② 定理对可数语言成立；一般情形是 |ℳ| ≤ max(|L|, ℵ₀)，即模型大小被语言大小卡住。下一节就用它演出模型论最著名的悖论。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.6 Skolem 悖论：可数模型装下不可数

★★★ 把下降定理用在集合论上，会撞出一个刺眼的矛盾：ZFC 若一致，就有一个可数模型；可 ZFC 自己又能证明「存在不可数集」。一个小得可数的世界里，怎么住得下一个不可数之物？本节解开这个结——它是本章乃至全书最重要的一课。

悖论的搭建。设 ZFC 一致（这是全书默认的假设）。由 §2.5 的下降定理，ZFC 有一个可数模型 𝒩 = (N, ∈^𝒩)，故 |N| ≤ ℵ₀。另一方面，ZFC 能证明 Cantor 定理，其推论「存在不可数集」是 ZFC 的定理，于是 𝒩 ⊨ ∃x「x 不可数」。取见证 a ∈ N，使 𝒩 ⊨「a 不可数」。可 a 是 N 的子集，而 |N| ≤ ℵ₀——外部看来 a 至多可数。同一件事，里外两说：外面可数，里面不可数。

和气的解法。「a 不可数」在 ZFC 内部是精确的公式：不存在从 a 到 ω 的双射。注意这句话里的量词「不存在」指的是「在 𝒩 的论域 N 里不存在」。外面之所以说 a 可数，是因为在 𝒩 之外存在一个双射 f: a → ℕ（把 a 的外部可数性实现出来）。可这个 f 是站在 𝒩 肩膀上看出来的东西，f ∉ N——𝒩 自己没有本事把它列为元素。于是里外两种说法并不冲突：𝒩 里没有双射（所以 𝒩 认为不可数）与 外面有双射（所以我们认为可数）可以同时成立。

「绝对性」这一课。一个概念若在所有模型里解释一致，就叫绝对的（absolute）。原子公式与有限布尔组合大体绝对，可「∃」「∀」一加上去，量词的范围就随模型缩胀，绝对性随即失效。「可数」=「存在到 ω 的双射」，量词域是模型本身，故势绝不绝对。这不是悖论，而是模型论给数学上的第一堂谦卑课：同一个集合，可以在一个世界里不可数，在另一个世界里可数；「不可数」不是刻在集合身上的印记，而是相对某套世界的判决。Skolem 当年以此质疑集合论的「绝对」框架，今日我们把它读成模型相对主义的标准教材。

有一处细节值得补记：𝒩 认为 ω^𝒩 与 a 的「不可数性」是各自独立认定的，外部还可能发现 ω^𝒩 本身只是一个非标准序（§2.14 会讲）。这提示：连「自然数」这一最朴素的对象，其身份也是相对于模型的。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.7 上升定理与模型的大小谱

★★★ 下降定理说模型可以变小；补上另一半 —— 模型也可以任意变大，大到位列一切基数。两半合起来给出一条惊人的结论：一阶理论管不住自己模型的大小。

证明。先造「至少 κ 那么大」的模型。取 κ 个互不相同的新常元 {c_α : α < κ}，在 T 上添加句子「c_α ≠ c_β」（一切 α ≠ β），记新理论 T′。任取 T′ 的有限子集，其中只出现有限多个 c_α；因 T 有无穷模型 ℳ，把有限多个常元解释成 ℳ 中互不相同的元素即可兑现。故 T′ 有限可满足，由紧致性有模型 ℳ′，且 |ℳ′| ≥ κ（诸 c_α 两两不同）。再把 ℳ′ 沿 §2.5 的洗法下降一次：取 κ 个元素作起点、闭包成初等子模型，得势恰为 κ 的模型（κ ≥ λ 保证闭包撑得住 κ 个元素）。∎

两半合璧。设 T 是无穷语言中的理论，考虑它的模型大小谱 Spec(T) = { |ℳ| : ℳ ⊨ T }（这里只记录无限基数，有限情形另议）。下降与上升定理合推得：

一个醒目的推论。若 T 有一不可数模型，则它有可数模型（下降）；若 T 有无穷模型，则它有任意大的模型（上升）。两条一夹，得到：没有哪个一阶理论能恰好刻画「可数无限」这一大小——凡承认可数世界者必认更大的世界。想用一阶公理把模型钉死在某个基数的努力，注定失败。§2.11 会看到，钉不住的只是「大小」；钉得住的是「形状」——范畴性说的正是后一件事。

谱的另半张脸。有限模型的部分不服从这条尾巴律：可以有一阶理论「只有有限模型」（如有限域的公理，或某个基数上的有限结构），其谱支离破碎。本章后段（§2.12）专门处理这件事——有限世界是紧致性的盲区。至此，已握紧本章的主旋律：一阶逻辑善于约束形状，疏于约束大小。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.8 初等等价与初等扩张

★★ 有了各族模型，就要给它们排座次。「哪些结构看起来一样」有两档答案：句子层面一样（初等等价），以及更细的、逐元素的对应（初等扩张）。本节交出这两把尺子。

三条立即的关系。① 同构 𝒜 ≅ ℬ 蕴含 𝒜 ≡ ℬ（换名不改变句子真假）。② 𝒜 ≺ ℬ 蕴含 𝒜 ≡ ℬ（取无自由变元的公式即得）。③ 反过来都不成立：初等等价比同构粗得多，≺ 也比 ⊆ 更挑剔。

一个反例。(ℕ, <) ⊆ (ℤ, <) 却不初等：ℕ 满足「存在最小元」∃x∀y(x ≤ y)，ℤ 不满足；这条句子的参数为空，属 A，故 ≺ 失败。可见「子结构」远不足以成为「初等子结构」——后者要求每一句带参公式都同真同假，量词不能偷偷越出子模型的围墙。§2.9 的 Tarski–Vaught 判别法，正是检验这堵墙的实用工具。

本节的收获可压成一句：≡ 管句子，≺ 管元素；越往下越细。下一节给出判定 ≺ 的实用武器——Tarski–Vaught 判别法，并把「初等链」这一造大模型的标准工序补齐。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.9 初等链与 Tarski–Vaught 判别法

★★★ 本节补齐两件工具：验证 𝒜 ≺ ℬ 的 Tarski–Vaught 判别法（完整证明），以及缔造大模型的标准工序——初等链的并。前者是 §2.5 下降定理的心脏，后者是 §2.11 范畴性论证的脚手架。

证明。要对一切公式 ψ 与 ā ∈ A 归纳地确立 𝒜 ⊨ ψ(ā) ⟺ ℬ ⊨ ψ(ā)。

证明。固定 n，用 Tarski–Vaught 验证 𝒜_n ≺ 𝒜。取 φ(x, ȳ) 与 ā ∈ A_n，设 𝒜 ⊨ ∃x φ(x, ā)。取一个见证 b ∈ A；则 b ∈ A_m 对某 m ≥ n。因 𝒜_m ≺ 𝒜（证明中我们正归纳地建立它；对 m 用链的初等性递推），𝒜_m ⊨ ∃x φ(x, ā)，取 b′ ∈ A_m 见证；再由 𝒜_n ≺ 𝒜_m（初等链的后段），拿到 b″ ∈ A_n 使 𝒜_n ⊨ φ(b″, ā)，从而 𝒜 ⊨ φ(b″, ā)。Tarski–Vaught 命中，故 𝒜_n ≺ 𝒜。∎（可对 n 作归纳使构造严格）

两件工具的用处。Tarski–Vaught 把「初等」这件难查的事，化简为一条只关于存在句见证的条件：只要子模型的围墙挡住了「量词越墙抓人」，它就是初等的。初等链则给出一条上升通道：数列般堆叠初等扩张，极限仍保持初等。二者合起来，让人能像搭积木一样精确控制模型的大小与形状——§2.10 的势的谱、§2.11 的范畴性，都建立在这套积木术上。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.10 模型的势：哪些大小是可能的

★★ §2.7 画出了大小谱的尾巴，却没有回答一个更细的问题：给定一个完备理论，它在某个基数上究竟能坐几个模型？本节把「大小」与「数量」两件事分开，给出模型论最早的定量结论。

先锁死大小的可选择范围。设 T 是可数语言的完备理论，且有一个无限模型。

证明。若 ℳ ⊨ T 有限且 |ℳ| = n，则句子「恰有 n 个元素」在 ℳ 中为真；由完备性它是 T 的定理，于是每个模型都有 n 个元素，与无限模型矛盾。故无有限模型。至于大小的存在性：先由下降定理取可数模型（κ = ℵ₀ 已兑现），再由上升定理对任意 κ ≥ ℵ₀ 造出势恰为 κ 的模型。∎

再把「数量」单拎出来。对完备理论 T 与基数 κ，令 I(T, κ) 表示 T 的势为 κ 的模型的同构类个数。大小的存在性解决后，真正微妙的是 I(T, ℵ₀)——可数模型的个数。

（ii）的直观读法：可数模型的个数可以有 1 个、3 个、4 个、……、可数多个、乃至连续统多个，偏偏不能恰好 2 个。这条「无 2 定理」是模型论最早的计数惊奇之一：数量的分布被理论的结构强行约束。至于介于 ℵ₀ 与 2^ℵ₀ 之间的中间值能否出现，即著名的 Vaught 猜想，至今未决——它是本册最后一章仍将回望的悬案。

一个对照。稠密线性序 DLO 的 I(T, ℵ₀) = 1（§2.16 将证明全部可数稠密线性序都同构于 ℚ）；而非标准算术的邻域里，可数模型可以多到 2^ℵ₀ 个。同一台紧致性机器，造出的模型数量可以天差地别——数量的多寡，取决于理论把「形状」钉得多死。这把我们径直推向下一节的主题：范畴性。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.11 范畴性与同构唯一性

★★ §2.7 说一阶逻辑钉不住模型的大小；本节说，它钉得住模型的形状。当某一基数上的全部模型都同构时，理论就锁定了那一档大小的世界——这叫范畴性。

Morley 定理把「不可数范畴」变成理论本身的性质，可简称「范畴的」。它的价值在于：要验证一个理论在一切不可数大小上都只有唯一的模型，只须在某一档（例如 ℵ₁）上做一次检查。这条定理是模型论走向「分类理论」的起点，也是 Morley 获证「不可数范畴理论必完备」的关键一步。

证明思路。设 φ 是句子。若 φ 在某个可数模型 ℳ 中为真、在另一个 ℳ′ 中为假，则把「φ 为真」的模型与「¬φ 为真」的模型分别沿初等链扩张，各得可数模型而不可能同构（它们在 φ 上取值不同），与 ℵ₀-范畴性矛盾。故任一 φ 在全体模型中取值一致，T 完备。∎

「钉住形状」与「钉不住大小」并不冲突。DLO 在每个不可数基数上都有模型（上升定理），且在每一档上都唯一——于是它的每个不可数模型形状相同、大小各异。范畴性钉住的是同构类，不是基数。(ℚ, <) 与 (ℝ, <) 初等等价、却不同构，正是「同一形状、不同大小」的最小见证。这条对照值得抄进速查表：一阶逻辑不控制大小，但可以完全控制结构。

至此「势」与「形状」两个问题都已交代。但还有一片天地没被本章的机器照顾到——有限世界。下一节转向它，看清紧致性在有限论域中如何失效，以及为什么有限模型论要另起炉灶。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.12 有限模型论的落差：紧致性为何失效

★★★ 本章所有精彩结论都建立在「无限模型」之上。一旦把目光收进有限世界，紧致性、下降、上升三件利器同时落空。本节说清落差从何而来，并预告填补它的新武器。

证明。任取有限子集 {φ_n1, …, φ_nk}，设最大下标为 N；一个含 N 个元素的（任意语言）有限结构满足全部这些句子。而若某个有限结构 ℳ 满足整本 T，取 n > |ℳ|，则 φ_n 在 ℳ 中为假——矛盾。∎

这正是 §2.1 埋下的那颗种子：有限可满足与可满足之间的缝，在「只看有限结构」的世界里真的张开了。紧致性说「有限片段有模型 ⟹ 有模型」，但那个模型可以是无限的；当被允许的模型被限制为有限时，这条推理就断了。

证明。反设 σ 如此。取 T′ = {σ} ∪ {φ_n : n ≥ 2}。任取有限子集，它只含 σ 与有限多个 φ_n，取一个足够大的有限结构即可兑现——故 T′ 有限可满足。由紧致性，T′ 有模型 ℳ；它满足一切 φ_n，故 ℳ 无限，于是 σ 在 ℳ 中应为假——与 ℳ ⊨ σ 矛盾。∎

落差之后的新工具。既然紧致性缺席，有限模型论改用局部推理：一个句子若能表达的，必定对某些「足够相似」的有限结构一视同仁。度量相似度的标尺是 Ehrenfeucht–Fraïssé 博弈（EF 博弈）：两位玩家轮流在结构里挑元素，k 轮之内第二玩家若能维持一个部分同构，就说明两结构「k 步内分不清」。凡能用 k 个量词说出的性质，都在 k 轮游戏中守恒。本书第六章将正式介绍 EF 博弈；本章只借它说明一件事：「有限性」「连通性」「偶数大小」这类性质之所以不可一阶定义，正是因为总有一对结构让任何有限轮数的游戏都分不出胜负。

最后记一笔对照：无限世界里，「大小」自由、「形状」可钉；有限世界里，「形状」反而更受制于组合的有限性——这正是有限模型论成为独立学科的原因，也解释了为什么它的方法（博弈、计数、0-1 律）与本册主线如此不同。下一节，我们把紧致性反过来用，正式判定哪些类无法被有限多条公理刻画。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.13 不可有限公理化：紧致性的反向应用

★★★ 前面几节用紧致性造模型，本节用它的逆否拦模型：凡是需要「无穷多个条件」才能刻画类，就绝不可能用有限多条公理代替。这是一台判定「不可有限公理化」的通用机器。

通用招式。设 K = Mod(T)，其中 T = {τ₁, τ₂, …} 是无穷多条「逐条设防」的公理。若 K 能被单句 σ 公理化，则 σ 与 T 定义同一个类，特别地 σ ⊨ τ_n 对每个 n 成立；但紧致性的反向形式只允许有限析出，于是必存在有限 T₀ ⊆ T 也定义 K。一旦证明「任意有限片段都定义不出 K」，不可有限公理化即告成立。

证明。反设 T 公理化良序类（含全序公理）。在新语言中添常元 c₀, c₁, …，添加句子 c₀ > c₁ > c₂ > ⋯（每句形如 c_k > c_k+1）得 T′。任取有限子集，只涉及有限多个 c_k，把 c_k 解释成 (ℕ, <) 中足够大的递降数即可兑现——故 T′ 有限可满足。由紧致性，T′ 有模型 ℳ：它是全序（满足 T），却含一条无穷递降链 c₀ > c₁ > ⋯，故不是良序——与 ℳ ⊨ T 矛盾。∎

证明。设单句 σ 公理化有限域类。考虑 T = {域公理} ∪ {φ_n : n ≥ 2} ∪ {σ}，其中 φ_n 仍表「至少 n 个元素」。任取有限子集，取一个足够大的有限域（如 𝔽_2^m）即可兑现，故 T 有限可满足；由紧致性得模型 ℳ。它满足一切 φ_n，因而是无限域；又满足 σ，故应为有限域——矛盾。∎

证明。记 Axiom_p := ∀x(x^p = 1 → x = 1)（p 取遍素数）。「无挠」= Mod({Axiom_p : p 素数})，是无穷多条逐条设防。若有限多条够，设只用素数集 P₀ 上的诸 Axiom_p；取素数 q > 一切 p ∈ P₀。在循环群 ℤ_q 中元素阶只能是 1 或 q，故 ℤ_q ⊨ Axiom_p（一切 p ∈ P₀）——它骗过了全部设防，却不是无挠群（含阶 q 元）。所以有限多条公理必失败。∎

三个类的等级。「有限域」与「无挠群」是可（无穷）公理化、但不可有限化的例子；「良序」更极端——它连用一个句子集来公理化都做不到，是「不可公理化」的最强形态。三者合看，即可看出本章的第三次「换角」：同一台紧致性，正着用造模型、反着用拦公理，是模型论里最高产的一招。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.14 实例：算术的非标准模型

★★★ 把 §2.3 的配方用在算术上，就得到本章最著名的怪兽——自然数的非标准模型。它满足与标准自然数完全相同的一阶句子，却在标准数之后拖出一条长尾巴。本节把这条尾巴的解剖图画清楚。

构造。取 Th(𝒩)（标准结构 𝒩 = (ℕ, +, ·, <, 0, 1) 中的全部真句子，含全部一阶归纳法实例），引入新常元 c，添加句子

c > 0,   c > 1,   c > 2,   c > 3,   …

任取有限子集，把 c 解释成一个足够大的标准自然数即可兑现，故整本理论有限可满足；由紧致性，它有模型 𝒩^*。

尾巴的解剖。由 𝒩 ⊨ Th(𝒩) 与 𝒩^* ⊨ Th(𝒩) 知道两者满足同一个理论；又「每个非零元有前驱」是 Th(𝒩) 的句子，故 𝒩^* 中一切由 c 生成的元素 c, c ± 1, c ± 2, … 都非标准。标准自然数在 𝒩^* 中构成一个初始段（有元 < 标准数者仍标准），其后则是一座由无穷多个「整数块」ℤ 组成的稠密序——整体序型可写作 ω + (ℤ · η)，其中 η 是稠密无序（ℚ 的序型）。

怪兽也是算术家。由于 𝒩^* ⊨ Th(𝒩)，标准世界里一切一阶可表达的算术事实在 𝒩^* 中同样成立：素数分解、中国剩余定理、二次互反律（凡能在 Th(𝒩) 里写下的版本）都在。非标准数因此是「合格的算术工作者」，只是它们的数轴比标准的长。

非标准数的奇偶。「c 是偶数还是奇数」这个问题没有绝对答案：由紧致性可分别造出 𝒩^* ⊨ 2 | c 与 𝒩^* ⊨ 2 ∤ c 的模型（往理论里各添上对应句子，有限片段都能由足够大的标准数兑现）。这与 Skolem 悖论里「可数/不可数」的处境同源：性质是否绝对，取决于它是否被模型世界内部的量词锁住。Skolem 1934 年首次造出这类模型，它既是非标准分析的先驱（§2.4），也是「一阶逻辑钉不住标准模型」的最早警报。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.15 实例：实数的非标准模型与超实数

★★★ §2.4 已把超实数 *ℝ 请上了台，本节补上它的正经造法，并当场用无穷小算一次导数，让人看清「幽灵」如何在严格的代数里干活。

造法一：超积（ultrapower）。取 ℕ 上的一个非主超滤子 𝒰（存在性靠选择公理），考察全体实数序列 ℝ^ℕ，用「按 𝒰 几乎处处相等」作等价关系，商掉得论域 *ℝ = ℝ^ℕ/𝒰。运算与序按坐标逐点定义。Łoś 定理保证：一个句子在 *ℝ 中为真，当且仅当它在「𝒰-几乎处处的」坐标上为真。特别地，把每个实数 r 对应到常值序列，ℝ 就嵌入 *ℝ，且 *ℝ ≡ ℝ。

造法二：紧致性（§2.3 的配方）。往 Th(ℝ) 里加入常元 c 与句子 0 < c < 1/n（n = 1, 2, …），有限可满足，由紧致性得模型——其中 c 的正实数值小于一切正实数，正是无穷小。两条路殊途同归：超积给出一个「标准」的非标准模型，紧致性保证它必定存在。

f(x + dx) − f(x)dx = (x + dx)² − x²dx = 2x · dx + dx²dx = 2x + dx.

两边取标准部分：f′(x) = st(2x + dx) = 2x。整个推导只是代数：展开、除以 dx、抹掉无穷小。最后一步「取标准部分」是唯一需要解释的动作，而它有精确定义（定义 2.27）。Leibniz 当年的 dy/dx 与「消逝量」的直觉，在此有了不带矛盾的落点。

为什么这值得郑重其事。非标准分析不是文字游戏：它把 ε-δ 语言里层层嵌套的量词，压成「取一次标准部分」的单步操作，使许多证明（尤其是紧算子、测度、组合数论里的）变得短而透明。Robinson 1966 年的《Non-standard Analysis》与 Keisler 1976 年的非标准微积分教材，是把这套语言推向课堂的两块界碑。对本章而言，它最重要的意义是：被 Cantor–Weierstrass 逐出分析的无穷小，正是紧致性定理一手请回来的居民。下一节转入一个更朴素、也更能展示「形状被钉死」的实例——稠密线性序。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.16 实例：稠密线性序的完全理论

★★★ 本节解剖一个能把本章所有工具串起来的最小实例：稠密线性序 DLO。它完备、ℵ₀-范畴，唯一的可数模型就是 (ℚ, <)——一个理论把「形状」钉得纹丝不动的样板。

证明要点。对公式作归纳，关键在消去存在量词。设 φ 是无量词的，形如「x 落在某些参数规定的开 / 闭区间交织中」。∃x φ(x, ā) 为真当且仅当：这些约束彼此相容（没有 x < x 这类自相矛盾）、且若上下界都出现则不违反稠密与无端点（下界 < 上界，或恰有一侧无界）。这一条件只谈参数之间的大小关系，不含 x——于是得到无量词式。∎

证明。设 σ 是句子。由量词消去，σ 与一个无量词句子 σ₀ 等价。语言 {<} 没有常元，闭项只有变元，故无变元的无量词句子只能是 ⊤ 或 ⊥ 的布尔组合，即恒真或恒假。于是 DLO ⊨ σ 或 DLO ⊨ ¬σ，无第三种可能——完备。∎

证明（往返法）。设 𝒜, ℬ 是两个可数 DLO，枚举 A = {a₀, a₁, …}、B = {b₀, b₁, …}。逐步构造部分同构 p₀ ⊆ p₁ ⊆ ⋯：第 2n 步处理 a_n，把它的位置（相对已有有限点集的序关系）在 ℬ 中实现出来——由稠密无端点总能在 B 中找到落点；第 2n+1 步反向处理 b_n。稠密性保证任何「夹在两数之间」的要求都可满足，无端点性保证「比一切已选点都大 / 小」也总能满足。有限步后各步的部分同构单调增长，其并 p = ⋃_n p_n 是 A → B 的双射且保序——同构。∎

串起全章。DLO 一个实例就演示了本章四件主力：它是 §2.16 的完备理论（量词消去）、§2.11 的 ℵ₀-范畴理论、§2.8 的 (ℚ, <) ≺ (ℝ, <) 的舞台，也是 §2.7「大小自由」的见证（每档基数上都有 DLO 模型）。(ℚ, <) 与 (ℝ, <) 初等等价而不同构，则把「形状被钉死、大小不被钉死」这句话，落实成两个看得见摸得着的结构。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限2.17 从紧致性到几何：相对一致性的模型论证明

★★★ 本章最后一节把模型借给几何。欧几里得用了两千年想从其余公理证明平行公设，全告失败；真正的判决不是「证不出」，而是「造得出反例模型」。这套判决术就是相对一致性。

证明（Poincaré 圆盘模型）。在欧氏平面的单位开圆盘 D = {(x, y) : x² + y² < 1} 内，约定：「点」是 D 中的点；「直线」是与边界圆正交的圆弧（直径算特例）。逐条验证罗巴切夫斯基公理：两「点」确定唯一「直线」（过两点的正交圆唯一）；等距、角度都有定义（用共形映射实现）；关键的一条——过不在此「直线」ℓ 上的点 P，可作无穷多条与 ℓ 不相交的「直线」（它们在边界处收敛而不相交）。于是这个结构满足罗巴切夫斯基全部公理，而它完全是在欧氏圆盘里造出来的：只要欧氏几何有模型，罗巴切夫斯基几何就有模型。∎

判决书怎么读。定理 2.34 并未断言「双曲几何为真」，也未断言「欧氏几何为真」。它说的是：若欧氏几何无矛盾，则双曲几何也无矛盾，因此「平行公设」独立于其余公理——否定它不会招来矛盾。这正是模型论解决「公理独立性」问题的标准姿势：给一组公理一个反例模型，独立性的判决即告生效。它与 §2.13 的「不可有限公理化」互为表里：那台机器判定「写不出有限的刻画」，这台机器判定「写出来的公理推不出更多东西」。

通往第三章。Poincaré 圆盘只是五种几何（欧氏、仿射、射影、罗巴切夫斯基、球面）里的一种模型构造。第三章将把五套公理系统与各自的模型地形并排摆开，逐一用本节的相对一致性技术判出彼此的关系——球面几何、射影几何的对偶原理，都会有各自的模型证明。至于力迫法（第六章）那种更深刻的「相对一致性」，则是本节思想在集合论里的极限形态：它用「在模型里造模型」的手法，判决连续统假设的独立。本章的工具箱至此封口；下一站是两页例题课，把 §2.1–2.17 的手艺逐条演练。

第二章 紧致性与 Löwenheim–Skolem：有限的眼看见无限例题课（一）：结构、满足与可定义集