第587章 模型论战场的初等自由 (1/13)

类型空间里的休整只持续了半天。

半天后，那种被“观测”的感觉又来了。

不是真理卫队的搜捕，也不是因果猎手的追踪，而是一种更……系统的、全方位的观测。

就像你不是被某个存在盯着，而是被整个“环境”审视着。

路径构造者首先察觉到了异样。

它那由路径编织成的身体突然绷紧，所有路径同时指向一个方向——类型空间的东北象限。

“模型论学派来了。”

它的声音很沉，“不是代表，不是使者，是……整个学派结构的部分投影。”

陈凡他们立刻戒备。经历过那么多战斗，他们对“数学存在来访”已经有了条件反射——多半没好事。

类型空间的东北象限开始“重绘”。

不是变形，不是重组，而是像画布上的画被擦掉一部分，然后重新画上不同的东西。

原本漂浮在那里的类型气泡消失了，取而代之的是一些……“结构框架”。

那些框架看起来很简单：几个点，几条线，几个箭头表示关系。

但诡异的是，这些框架在不断“填充”——同一个框架，一会儿填充成这个模样，一会儿填充成那个模样。

比如一个“三点两线”的框架：一会儿填充成三角形，一会儿填充成V形图，一会儿填充成带箭头的有向图……

“这就是模型论。”

建构主义代表咔哒咔哒地说，“它们研究‘结构’和‘解释’。一个数学结构可以有多种不同的解释，只要满足公理。那些框架是‘语言’，填充是‘模型’。”

模糊数学代表飘过来：“它们最着名的成果之一是‘紧致性定理’：如果一个命题集的所有有限子集都有模型，那么整个命题集也有模型。换句话说，局部一致能保证整体一致。”

直觉主义代表流动着：“我的直觉警告——它们来者不善。模型论学派一向中立，但如果真理革命派说服了它们……”

这时，一个框架突然“放大”，向他们移动过来。