模型论是什麼

数学上，模型论是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。
比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和(或)函数，例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题，显然该陈述对实数而言成立 - 确实存在这样的一个实数y, 即所谓2的平方根；对于有理数，该陈述却并不成立。一个类似的命题，"∃ y (y × y = 0 − 1)",在实数中不成立，却在复数中成立，因为 i × i = 0 − 1。
模型论研究什么是在给定的数学系统中可证的，以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。
现在模型论（及其方法）已经广泛地应用于其它数学分支甚至理论计算机与工程计算中。例如Hrushovski用模型论方法证明了代数几何中的Mordell-Lang猜想。

定义
哥德尔完备性定理表明理论有一个模型当且仅当它是自洽的，也就是说没有矛盾可以被该理论所证明。这是模型论的中心，因为它使得我们能够通过检视模型回答关于理论的问题，反之亦然。不要把完备定理和完备理论的概念混淆。一个完备的理论是包含每个句子或其否命题的理论。重要的是，一个完备的自洽理论可以通过扩展一个自洽的理论得到。
紧致性定理说一组语句S是可满足的（即有一个模型）当且仅当S的每一个有限子集可满足。在证明理论的范围内类似的定义是下显而易见的，因为每个证明都只能有有限量的证明前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法，一个是库尔特·哥德尔提出的（通过证明论），另一个是阿纳托利·伊万诺维奇·马尔采夫提出的（这个更直接,并允许我们限制最后模型的基数）。
模型论一般与一阶逻辑有关。许多模型论的重要结果(例如哥德尔完备性定理和紧致性定理)在二阶逻辑或其它可选的理论中不成立。在一阶逻辑中对于一个可数的语言，任何理论都有可数的模型。这在勒文海姆-斯科伦定理中有表达，它说对于任何可数的语言中的任何有一个无限模型都有一个可数的初等子模型。
莫雷(Morley)证明了著名的范畴定理.即对于可数语言的任何可数完备理论，如果它在某个不可数基数上是范畴的，则它在所有不可基数上都是范畴的。这个定理极大的刺激了模型论的发展，产生了后来的所谓稳定性理论(stable theory).
近来模型论更加着重于对于其它数学分支，尤其是代数和代数几何,的应用。

技术参考
定义 一阶语言 是一组独特的印刷上的符号，分类如下:
所以，要指定一个语言，通常只指定一组常量符号、函数符号和关系符号就足够了，因为第一组符号是标准的。圆括号只充当形成符号的群组的目的，在公式中书写函数和关系的时候被非形式的使用。
这些符号就是符号。它们不代表任何东西。他们不意味任何事物。加入语义和语言学要点对数学语言的形式化是没有用的。
因为确实需要在这些形式化之外获得某些意义。在语言之上的模型的概念就提供着这种语义。
定义 在语言 上的 -结构是由非空集合 构成的包(bundle)，它是结构的全集，包括了:
在这个上下文中对这种结构使用模型这个词。但是理解它的动机或许是重要的，见下。

等价符号 ；连结词 ，；全称量词 和圆括号 ，。
变量符号的可数集合 。
常量符号的集合 。
函数符号的集合 。
关系符号的集合 。
对于来自 的每个常量符号 ，有一个元素 。
对于来自 的每个 -元函数符号 ，有一个 -元函数 。
对于来自 的每个 -元关系符号 ，有一个在 上的 -元关系，就是说一个子集 。

一阶语言和结构
定义 -项是来自 的符号的非空有限字符串 ，如
定义 -公式是来自 的符号的非空有限字符串 ，如
定义 由要么第一个要么第二个子句来特征描述的 -公式被称为原子。
定义 设 是一个 -公式。来自 的变量符号 被称为在 中是自由的，如果
定义 句子是没有自由变量的公式。

是一个变量符号。
是一个常量符号。
是形如 的字符串，这里的 是 -元函数符号而 , ..., 是 的项。
是形如 的字符串，这里的 和 是 的项。
是形如 的字符串，这里的 是 -元关系符号而 , ..., 是 的项。
形如 ，这里的 是 -公式。
形如 ，这里的 和 二者是 -公式。
形如 ，这里的 是来自 的变量符号而 是 -公式。
是原子，而 出现在 中。
形如 ，而 在 中是自由的。
形如 ，而 在 或 中是自由的。
形如 ，这里的 和 不是同一个变量符号而 在 中是自由的。

项、公式和句子
此后， 将指称一阶语言， 是 -结构，它下层的全集用 指称。每个公式都将被理解为 -公式。
定义 到 的变量指派函数(v.a.f.)是自 的变量集合到 的函数。
定义 设 是到 的 v.a.f.。我们定义项指派函数(t.a.f.) ，自 -项的集合到 ，如:
定义 设 是到 的 v.a.f.，假定 是一个变量而 。我们定义 v.a.f. -指派函数的修改 ，为

如果 是变量符号 ，则 。
如果 是常量符号 ，则 。
如果 形如 ，则 。

指派函数
定义 设 是公式，并假定 是到 的 v.a.f.。我们称 通过指派 满足 ，并写为 定义 设 是公式，并对到 的每个 v.a.f. 假定 建模 ，并写为 。
定义 设 是公式的集合，并对每个公式 假定 ，则我们称 建模 ，并写为 。
在 是句子的情况下，就是没有自由变量的公式，存在一个单一的 v.a.f.，对于它 。
定义 设 是一个句子，并假定 。则我们称 为在 中是真实的。

形如 ，而 。
形如 ，而 。
形如 ，而 形如 ，而 形如 ，而对于每个元素 ，