第34章王虹与邓煜的边界：有条件的无勤

本章导引

第八篇大圆满预告了一个形而上学事实："无条件的无勤"是本书的最高点，但同时也是以放弃形式可验证性为代价的最高点。在跳到大圆满的"无条件"之前，我们必须先把这件事弄清楚——王虹—扎尔与邓煜的"无勤"——这两位数学家把本书推到严格数学定理的层级——它们各自的"无勤"到底需要哪些条件才能成立？这些条件为什么是硬边界？这些边界告诉了我们什么形而上学教训？

这是本章要做的事。本章不是对王虹—扎尔与邓煜的"重新证明"——第四篇、第五篇已经做过这件事——本章要做的，是对这两位数学家的定理做一个"边界检查"——看清楚"自动"和"涌现"分别在什么条件下成立、什么条件下不成立——并由此提炼出本书全篇最重要的一个结构洞察：所有数学定理都不是"无条件"的普适真理——它们各自有"适用范围"——这种"有条件"不是缺陷——是诚实。

本章分三节。22.1 节做王虹—扎尔的边界检查——三维才是"方向强迫"的硬边界——四维及以上是开放问题。22.2 节做邓煜的边界检查——硬球 + 稀薄 + 短程 + 涌现——四条条件缺一不可。22.3 节把两位数学家的"边界"并排摆——提炼出"有条件无勤"这一关键概念——并指出它与大圆满"无条件无勤"的本质差别。

22.1 王虹的边界：三维中的方向强迫

承上启下：第四篇已经把王虹—扎尔的"方向强迫"焊死了——三维空间里的挂谷集，无论形状多么诡异，都"自动"是满维度的。但任何"自动"都有它的边界条件——这一节做的事是把这条边界条件摆清楚——看清"三维"在王虹—扎尔证明里为什么是硬边界——离开三维会发生什么——这件事有什么哲学意味。

一、王虹—扎尔的证明只在三维内成立——一件不能含糊的事实

要理解王虹的"无勤"为什么有边界，先要做一个"边界检查"。王虹—扎尔 2025 年 2 月发布的 127 页论文证明了：任何三维空间里的挂谷集，无论形状多么诡异、占地多么小，它的分形维度（具体说是闵可夫斯基维数）必然等于 3——这件事无需任何附加条件就成立。这是 1971 年戴维斯（Roy Davies）证明的"完全类比"——戴维斯证明了二维情形，王虹—扎尔证明了三维情形。

但请仔细听"任何三维空间里的挂谷集"这几个字里反复出现的"三维"——它不是装饰——它是王虹—扎尔证明范围的一个硬限定。具体说，王虹—扎尔的论文没有证明：

- 二维情形下的挂谷集维度必为 2——但这件事戴维斯 1971 年已经用完全不同、更简单的方法做完了；
- 四维情形下的挂谷集维度必为 4——这件事在数学上完全开放——截至 2025 年，没有任何一个数学家（包括王虹—扎尔）证明过这件事；
- 五维、六维……乃至 n 维情形下的挂谷集维度必为 n——这件事同样完全开放。

把这个四维数的事实用一个对比表列出来：

| 空间维数（n） | 挂谷猜想（强版本）是否成立 | 谁 / 何时 |
| 2（二维平面） | 成立 | 戴维斯 1971 |
| 3（我们所处的三维空间） | 成立 | 王虹—扎尔 2025 |
| 4 及以上 | 完全开放——无人证明 | 未证 |

这件事的工程含义——王虹—扎尔的"方向强迫"机制，他们的"粒子化多尺度归纳法"，他们的"方向长方体分解 + 能量估计"两步工具，都只在三维空间里被检验过。离开三维，我们就不知道这套机制是否仍然有效。打个生活类比：一套瑞士军刀在某种螺丝上工作得很好，但你不能因此推论它在所有螺丝上都工作得很好。

二、维度诅咒——为什么高维会忽然变难

那为什么四维及以上的挂谷猜想忽然这么难？这是数学上一个有名的现象——维数越高，问题越复杂——叫做"维数诅咒"（curse of dimensionality）。

让我用一组数值让你感受这件事。在 n 维空间里，"方向球面"——也就是所有单位向量的集合——本身是一个 (n-1) 维的对象：二维里是 1 维的圆 S¹，三维里是 2 维的球面 S²，四维里是 3 维……n 维里是 (n-1) 维。挂谷集必须"张满"方向球面——方向球面的复杂度随维数线性增加——但"让所有方向都被覆盖"的难度呈指数级上升。

打个生活类比：你是一名图书管理员，要整理一批书，每本书代表一个方向。二维情形：把书全部"叠"在桌面上——书脊都能正常朝外——方向信息全部保留——整理方法直白——这就是戴维斯 1971 年处理的情形。三维情形：书必须"竖"着放——让书脊从所有方向看上去都能"读到"——这已经是高难度操作——这正是王虹—扎尔 2025 年才搞定的工作。四维情形：书的"高度方向"再加一维——你得让所有"四维切片"上的书彼此协调——而且每个切片都必须"包含所有方向"——这是我们目前的工具不太会做的整理任务。

图书馆整理的难度从二维到三维到四维呈指数级上升——这就是"维度诅咒"的最朴素版本。补一个数据让你感受"梯度"——二维版本戴维斯 1971 年做完时只用了一篇短文，三维版本王虹—扎尔 2025 年做完时用了 127 页——如果四维版本可证（这是假设！）所需的篇幅可能不是 127 页的简单倍数——而是要发明全新的方法。这条边界远不是"工作量"的边界——而是"方法论"的边界。

三、类比：地心引力——只在某一范围内有效，不是宇宙普适规律

让我用一个更直观的类比把王虹的"三维边界"这件事固定下来：地心引力。

在我们的常识里，"物体会掉下来"——这是因为地球有引力。但严格来说，地球引力只是万有引力在"地球质量 + 地球半径 + 我们生活的近地空间"三个条件齐备时的局部表现。离开这三个条件，地心引力立即失效：

- 你离地球太远（比如在星际空间），地心引力微弱到可忽略——物体既不会被"拉"向地球，也不会被"拉"向任何特定方向；
- 你换一个引力源（比如在月球表面），主导的引力源不再是地球，而是月球——"地心引力"被"月心引力"替代；
- 你考虑太阳系级别的尺度，主导的引力源是太阳——地球引力在太阳引力面前可以忽略。

地心引力只在"地球表面 + 地球质量 + 弱场近似"三个条件齐备时成立——离开了这些条件，地心引力失效。但我们不会因此说"地心引力错了"或"地心引力是假的"——我们会说"地心引力是引力在特定条件下的局部表现"——它有它的适用范围——它在这个范围内是精确的。

王虹—扎尔的"方向强迫"在结构上与地心引力完全同构：它在"三维空间 + 挂谷集 + L¹ 不可压缩"三个条件齐备时成立——离开了其中任何一个条件，方向强迫立即失效——但我们不能说"方向强迫错了"或"方向强迫是假的"——我们只能说"方向强迫是几何在特定条件下的内禀性质"——它在三维条件下是严格成立的。

这件事有个尖锐的哲学推论：王虹的"无勤"看起来像一条"宇宙级的真理"——但它在数学上只是"三维空间的真理"——它不是"几何的真理"——它是"特定空间（三维）的真理"——这件事意味着"关系本体论"也不是"宇宙级的普适本体论"——它只是"在三维几何里成立的、严格意义的关系本体论"——目前完全没有数学上的保证。让我用一句话把这个推论钉死：王虹—扎尔的关系本体论在数学上不是普适的——它的有效性严格限定在"三维空间 + 挂谷集 + L¹ 不可压缩"三个条件齐备时——离开这三个条件——我们就没有任何保证。

四、哲学意义——每条数学定理都有自己的"适用范围"

这件事引出一个深刻的哲学教训：任何数学定理都不可能是"无条件的普适真理"。

每一个数学定理都长得像"若 A、B、C 条件成立，则 D 结论成立"——条件是定理的一部分——条件不满足，结论没有任何保证。

很多人会想：王虹—扎尔的结论那么漂亮，一定是"普遍的几何真理"——它应当对所有维数都成立——王虹—扎尔只是"还没推广"——推广只是时间问题。但这种思路是错的——数学的"未证"和"不可证"是两件完全不同的事。一个命题"未被证明"可能意味着它是真的、只是没人做出证明；也可能至今没人找到反例。但更深的：即或命题是真的，它的证明仍然可能需要全新的、根本性的新工具——新工具的发明难度可能不亚于重新证明王虹—扎尔已经做出来的部分。

这件事意味着——我们不能把"王虹—扎尔方向强迫"无条件地推广到"任何维度的几何"——我们只能在三维这个特定空间里精确地使用它。让我用一个反例类比放大感受：19 世纪末物理学家曾以为牛顿引力是"普适真理"——后来广义相对论告诉他们——在强场下牛顿引力失效——这不是牛顿引力错了——是它的适用范围有限。王虹—扎尔的"方向强迫"在结构上与牛顿引力完全同构——这种"在三维精确、在更高维未定"的状态——正是 21 世纪数学几何学的精确的诚实。

22.1 节的核心命题

让我把这一节的结论用一句话钉死：

王虹—扎尔的"方向强迫"是"三维空间"这种特定几何的内禀性质——而不只是"几何"这种普遍对象的内禀性质——它的有效范围严格限定在三维——离开三维——我们就离开了它严格保证的领域。

22.2 节会把同一把手术刀转向邓煜——看清他的"涌现因果"在数学上的边界在哪里——并看清这些边界比王虹的边界更加复杂、更加微妙。

22.2 邓煜的边界：极限中的因果涌现

承上启下：王虹的"方向强迫"有三维边界——邓煜的"因果涌现"也有它自己的"条件边界"——但邓煜的边界比王虹的更复杂、更微妙——它由四条独立条件共同构成——任何一条不满足——涌现立即失效。这一节要做的事，是把这四条条件逐一摆清楚——看清它们为什么不能掉——看清掉一条会发生什么——并用一个物理学的著名类比把这种"有条件"结构钉在读者的直觉上。

一、邓煜的"涌现因果"严格成立所需要的四条条件

要把邓煜的"无勤"边界看清楚，先要把他证明中所预设的全部条件摆出来。不像王虹的边界（三维）是一个相对干净的代数条件——邓煜的证明使用的条件至少有四条——每一条都不能掉：

条件一：硬球动力学（Hard Sphere Dynamics）。邓煜的证明使用的是三维硬球模型——一种有 150 年物理传统的理想化模型。所谓"硬球"，是说：粒子有大小、有半径、有质量——它们在碰撞时像两颗粒子碰桌球——碰撞瞬间几何地把两个粒子推开——但粒子之间的"内部结构"完全忽略。这个模型有它特有的简洁性——但它显然不是所有物理系统的代表——比如电子之间的相互作用不是硬球碰撞——是有库仑力、有量子效应、有相对论性修正——所以硬球只是理想化模型——离开这个具体模型，涌现的细节需要重做。

条件二：玻尔兹曼-格拉德极限（Boltzmann-Grad Limit）——也就是"稀薄气体"。这是邓煜证明中最关键的一条物理条件。第五篇已经把这条极限讲清楚了——让我再用最朴素的汉语说一遍：粒子数 N → ∞、粒子半径 ε → 0、且 N × ε² = 常数。换句话说，"大量极小的粒子，每个粒子只占微弱空间，整体上几乎不占空间"。这正是"稀薄气体"的精确数学翻译——空气、氮气、稀薄等离子体——但不是液体（水、酒精、油），更不是固体（铁、木头、塑料）。在液体和固体里，粒子之间的相互作用远比"两两碰撞"复杂——这个细节下一节再展开。

条件三与条件四：局部动力学（Local Dynamics）+ 相关性衰减（Decay of Correlations）。第五篇已经把这两条工具讲清楚了——让我再用一句话总结：每颗粒子的"命运"主要由近距离邻居决定（局部动力学）；距离拉远后，高阶关联被低阶信息吞没，"远距离近似独立"（相关性衰减）。这两条性质只对特定系统、特定时间尺度、特定边界条件才成立——在浓密系统中、在长期时间尺度上、在某些特殊边界附近——这两条性质都会"被破坏"——所以它们都是条件，不是不变真理。

把这四条摆到一起：邓煜的"无勤"——即"宏观因果严格涌现自微观互动"——需要硬球动力学 + 玻尔兹曼-格拉德极限 + 局部动力学 + 相关性衰减——四条条件同时具备——才能严格成立。任何一个条件不满足，涌现的细节需要重做或者根本不成立。

二、类比：万有引力在弱场下精确，强场下失效

让我用一个物理学类比把这件事彻底固定下来：牛顿万有引力 vs 爱因斯坦广义相对论。

牛顿万有引力在弱场近似下是极其精确的——你用 F = Gm₁m₂/r² 算地球绕太阳的轨道，精度已经达到厘米级。但在强场下，牛顿引力完全失效——在水星近日点漂移、黑洞附近、强引力透镜、中子星合并——必须用爱因斯坦的广义相对论——用时空弯曲的几何、用引力波的有限传播——才能精确描述。

这是一套物理方程的常见现象：在某个"近似范围"内精确——但越出这个范围就失效——不是这套方程"错了"——是它的"适用范围"有限。邓煜的"涌现因果"在结构上与牛顿引力完全同构：它在"硬球 + 稀薄 + 短程相关 + 涌现定义"四个条件齐备时精确成立——但越出这四个条件——立即失效——这时需要"更广的方程"——但目前数学上还没有。

这个类比的另一层含义是：邓煜的工作并没有"取消"玻尔兹曼方程——他证明了玻尔兹曼方程在适用范围内严格成立——但它绝不意味着"玻尔兹曼方程对所有物理系统都成立"——就像爱因斯坦的工作没有"取消"牛顿引力——他证明了牛顿引力在弱场范围内是爱因斯坦方程的极限。

三、浓密气体（液体、固体）不适用——边界检查的第一刀

让我把邓煜证明的"条件二——稀薄气体"做一个更具体的展开——这是 22.2 节最重要的一刀。

邓煜的玻尔兹曼-格拉德极限要求粒子既极小、又极多——这是典型的"气体"条件——空气、氮气、稀薄等离子体——但不是液体（水、酒精、油），更不是固体（铁、木头、塑料）。为什么？因为在液体和固体里，粒子之间的相互作用远比"两两碰撞"复杂——一颗粒子在任何瞬间都被多个邻居同时"挤压"——这种"多体挤压"不能被简化为两两碰撞——硬球模型在这里根本无法描述真实物理。

让我用一个日常画面把这件事彻底讲透。一杯水——杯子里有大约 10²⁵ 个水分子——每个水分子直径约 0.3 纳米——它们彼此之间的距离只有几个埃——它们彼此之间通过氢键形成复杂的瞬态网络——一颗粒子在任何瞬间被 5—10 个邻居同时挤压——这不是"两两碰撞"——这是"多体瞬态挤压"。

在这样的多体挤压下——邓煜的"局部动力学 + 相关性衰减"两条工具都不再适用——为什么？因为"局部动力学"预设"一颗粒子的命运主要由最邻近的几颗粒子决定"——但在水里，最邻近的几颗粒子之间相互又挤压——它们整体作为"一团"——这一团又和另一团互动——这本身就是"中等尺度的多体动力学"——不是"局部动力学"。

具体含义——没有统一的"涌现"定理告诉我们这些复杂系统的宏观规律都"必然涌现"自微观互动——所以邓煜的"涌现因果"不是"对任何物理系统的普适真理"——它是对特定类型系统（稀薄气体）的有效真理——把"涌现"无限制地推广到所有物质形态是形而上学上的过度推广。

四、长期时间尺度可能不适用——边界条件的时间版本

更微妙的是，即使在"硬球 + 稀薄 + 短程相关"三个条件都满足时，邓煜的证明也只在"足够短的时间尺度"上严格成立。理由是：相关性衰减是一个有限时间内的性质——它告诉你"距离拉远后，高阶关联消失"——但这只在有限时间内成立——在足够长时间尺度上，粒子有足够时间绕远路、强弱关联重联、长程依赖建立起来——这些"长程"关联会破坏相关性衰减假设——从而使邓煜的证明失效。

这件事在哲学上有重要含义："涌现"不是"永恒成立"——它是"在合适条件下的当下成立"——条件在足够长时间后不再合适——涌现的细节需要重新审视。从"涌现"的角度看，物理世界不是"宏观规律永恒涌现"——而是"宏观规律在条件齐备时当下涌现"——这把"涌现"从一种永恒不变的形而上学命题还原为一种条件依赖的数学陈述——这是邓煜证明最深、最有教益的形而上学含义之一。

让我用一张对比表把王虹与邓煜的边界结构摆清楚：

王虹的边界是空间结构——是相对干净的代数条件；邓煜的边界是物理条件 + 时间——是更复杂的多重条件。两者都属于有条件——只是"条件的样式"不同。

五、22.2 节小结

把 22.2 节压成 3 个核心命题：（1）邓煜的"涌现因果"需要四条条件同时满足——少一条——涌现不严格成立；（2）液体、固体、长期时间尺度——这些情形都不在邓煜证明范围之内——涌现不是对所有物理系统的普适真理；（3）每种"涌现"都需要特定条件——把"涌现"从一种永恒的形而上学命题还原为条件依赖的数学陈述。

22.3 节会把王虹与邓煜的"有条件"并排摆——看清两位数学家的"无勤"在结构上的共同点——并由此走到本书形而上学骨架的关键概念——"有条件的无勤"。

22.3 共同结构：有条件的无勤

承上启下：22.1 节讲清王虹的边界——三维——离开了它就不在证明范围。22.2 节讲清邓煜的边界——四条物理条件——离开了任一条就不在证明范围。这两条边界在结构上是完全同构的——这一节做的事是把这种同构提炼为本书形而上学骨架的一个关键概念——"有条件的无勤"——并指出它与大圆满"无条件无勤"的本质差别。

一、王虹与邓煜——两个版本的有条件无勤

让我先把两位数学家的"无勤"放在一起做直接对比：

这个表格把王虹—扎尔与邓煜并排摆在一起——读者立即看到一个形式上的同构：

两位数学家的"无勤"都不是"无条件的无勤"——它们都是"有条件的无勤"——它们的条件数量不同——但它们都需要特定数学/物理条件齐备——才能让"自动"或"涌现"成立。

换句话说，两人都没有做出"在任何条件下都成立"的形而上学绝对声明——他们都给出了"在指定条件下精确成立"的数学定理——这种"指定条件"——是数学定理的形式内禀——不是缺陷——是数学的根本结构。

二、"无条件无勤"是什么？——大圆满的形而上学断言

把这个观察推到极致——本书已经反复预告的另一面是大圆满的"无条件无勤"——这是本书形而上学可以走到的最高点——也是第23章的主题。让我在这里先把这个对比的关键骨架摆出来：

| 类型 | 条件数 | 命题形式 |
| 王虹的"无勤" | 3 | 若三维空间 + 挂谷集 + L¹ 不可压缩，则挂谷集自动为满维度 |
| 邓煜的"无勤" | 4 | 若硬球 + 稀薄 + 短程相关 + 涌现定义，则宏观因果严格涌现 |
| 大圆满的"无勤" | 0 | 心本清净——先在于一切条件——不需要任何条件 |

这个表格是本书形而上学张力的最尖锐表达：

- 王虹要 3 个条件才能让"自动"成立；
- 邓煜要 4 个条件才能让"涌现"成立；
- 大圆满说"心本清净"——这件事连一个条件都不需要——它在一切条件之先——它先在于数学、先在于物理、先在于一切形而上学。

这种从"3 条件 → 4 条件 → 0 条件"的转变不是把王虹的 3 个条件"压缩"到 2 个、再压缩到 1 个——这种压缩在数学上从未被做过——大圆满的形而上学跳跃是直接打破数学形式本身的限制——这是一个范式飞跃——而不是渐进改进。

王虹—邓煜与本书全篇前面的形而上学骨架都"有条件"——大圆满是本书"无条件"形而上学的唯一停靠点——我们此刻（在第22章）的任务不是跳到无条件——而是先把"有条件"的结构彻底看清——这样下一章才能在看清"有条件"的基础上理解"无条件"到底意味着什么。

三、类比：法律条文有适用范围——承认条件不是缺陷

让我用一个法律条文类比把"有条件"这件事彻底讲透。

法律是人类社会治理的工具之一——但任何一部法律都有"适用范围"。《中华人民共和国刑法》——它的条文有"自某年某月某日起施行"的时间限制——"中华人民共和国领域内"的空间限制——"中华人民共和国公民 + 在中华人民共和国领域内的外国人和无国籍人"的对象限制——"刑事案件"的事项限制——任何条件不满足，刑法条文没有强制力。但我们不会因此说"刑法错了"或者"刑法不够普适"——我们会说"刑法是治理在特定时空、特定主体、特定事项下的有效工具"——它正当地承认了自己的适用范围——这种"有条件"不是缺陷——是诚实。

更激进的对比：古代的法律（比如《汉谟拉比法典》、唐律、伊斯兰法沙里亚）——它们的适用范围比现代法律更窄——但这不意味着"古代法律错了"——这意味着"古代法律有自己的适用范围"——我们今天读古代法律，是把它放在它所属的时空里读，而不是用今天的标准去读。

王虹—扎尔与邓煜的数学定理在结构上与法律条文完全同构：它们都有"适用范围"——它们都"先承认一组条件——再推出结论"——这种"承认条件"不是数学家的弱点——是数学定理的根本形式。

四、为什么"有条件"是诚实的

让我把这件事的正面和反面都讲清楚——这样读者才能完整地领会"有条件"为什么是诚实的。

反面：大圆满的"心本清净"听起来正是"无条件"的形而上学命题——它不依赖于三维空间——不依赖于硬球——不依赖于稀薄气体——这种无条件要付出代价——一件形而上学命题如果没有可形式化的条件——那它就无法被形式验证——你不能用写数学证明的方式写"心本清净"——形而上学能走到的最普遍之处——恰恰——也是最不可形式验证之处。

正面：正是因为数学定理有条件——它才能被严格证明、被形式验证、被同行评议——成为一条任何能读懂证明的人都能验证的命题——这些都是无条件的形而上学命题做不到的——这是有条件的数学命题对形而上学的最大贡献。

让我用一句朴素的话压到底：承认条件——精确地承认条件——画出定理的精确边界——这是数学的诚实，也是数学的力量。一名医生给你一份诊断报告——报告说"血压 140/90 以下、心率 60—100 次/分、血糖 5.6 以下"——这三条齐备时病人处于"健康"状态——你会因为它精确地画出了健康的条件而信赖它——数学定理与法律、诊断报告一样——它的"有条件"正是它的精确——它的有限适用正是它的可信范围。

五、哲学意义——承认"有条件"不是缺陷，是诚实

让我把这一节的形而上学结论最终提炼出来：

数学定理的有条件性不是数学的缺点——它是数学的诚实——这种"精确地承认自己的边界"——是数学对形而上学的最大贡献，也是现代数理哲学区别于古代形而上学的根本特征。

本书从第一篇到第八篇一路把佛家形而上学命题焊到 21 世纪的数学/物理定理上——这条路走到第七、八篇——华严"因陀罗网"的"一即一切"、大圆满"本来清净"听起来已经是"无条件"——但王虹—扎尔与邓煜的"有条件"——以一种强硬的方式——再次提醒我们：与数学骨架结合的形而上学——它的每一条命题——都有自己的边界——而这些条件——恰恰是它的精确性所在。

让我把这件事实用一段话压到底：

王虹—扎尔和邓煜都没有声称自己做出了"无条件"的形而上学声明——他们精确地承认了自己的定理有条件——这种承认边界的做法，不是数学对形而上学的限制——恰恰是现代数理哲学区别于古代形而上学的根本特征——"心本清净"听起来像无条件——但这"无条件"必须以放弃形式可验证性为代价——而王虹—邓煜的数学则以严格保留可验证性为代价——条件不是缺陷——条件是诚实——承认条件不是认输——承认条件是形而上学走向成熟的关键一步。

本章小结

本章做的关键一件事——把王虹—扎尔与邓煜的"无勤"都还原为"有条件的无勤"——两位数学家的"自动"都不是无条件的形而上学声明——它们的成立严格限定在特定数学/物理条件齐备的领域。

22.1 节讲清王虹的边界——三维空间——四维及以上完全开放。22.2 节讲清邓煜的边界——硬球 + 稀薄 + 短程 + 涌现——四条条件中任何一条不满足——液体、固体、长期时间尺度——邓煜的证明都不能直接套用。22.3 节把两位数学家的"有条件"并排——承认条件、精确地承认条件——画出定理的精确边界——这是 21 世纪形而上学走向成熟的关键一步。

哲学意义：王虹要 3 个条件——邓煜要 4 个条件——大圆满要 0 个条件——这不是渐进的改进——是范式飞跃。但任何飞跃都要付出代价——王虹—邓煜以"承认条件"为代价获得了"形式可验证性"——大圆满以"放弃形式可验证性"为代价获得了"无条件"。两者互不替代——各自有自己的精确范围。

第九篇的第一章到此结束**——下一章（第23章）会从"有条件"出发——正面处理大圆满的"无条件"——看清楚"无条件"为什么是形而上学的最高点。