定理定义
模型论的重要定理:
1) 在一阶逻辑中，如果我们有一个公式集合（记作）并且 是一个不满足式的公式集合，那么 至少有一个有限个数元素的子 集（记作) 并且 也是不满足式的集合
2)注意到，如果有一个公式集合（记作） 并且 是一个可满足式的公式集合，那么对于所有 有限个数元素的子集（记作） 也是可满足式的集合
3)也就是，前提假设我们有一个子句 (Clause) 集合（记作），并且S中的所有子句是封闭的（Clause Fermee，也就是说子句 中不含有变量），如果 是不可满足式的子句集合，当且仅当至少有一个子集合，是有限集合并且是不可满足的集合 在3)中，我们把公式集合 转化成子句集合，（根据定理： ) ， 的可满足性和转化成的 子句集合的可满足性是等价的。
验证推导
我们对1)的证明如下：在证明前，我们需要知道如下定义：
a)完备性（Completude）定理的定义：前提假设我们有一个有限个数元素的子句集合（记作）并且中不含有变量（符号），如果是不可满足的集合，那么必定拥有一个驳斥（Refutation）。
b)驳斥（Refutation）的定义：一个子句集合的驳斥是一个通过应用衍生方法产生的一系列子句并且最后的是一个空子句，我们叫做拥有（或接受）一个驳斥，记作。
注意到当拥有一个驳斥时，那么很显然集合是有限的，产生的子句也是有限的，这是因为我们不能再运用衍生规则产生其它新的子句
c)衍生（Derivation）的定义：从一个子句集合,通过应用解决规则（regle de resolution）或因式分解规则（regle de factorisation）产生得到的一系列子句叫做衍生
d)正确性（Correction）定理的定义：前提是一个不含变量符号的子句集合，如果子句是子句集合通过应用解决规则或因式分解规则所的到的子句，那幺子句是子句集合的逻辑子序列（Consequence Logique），记作，也就是说集合的所有模型（或称解释，指派）也是子句的模型
e)逻辑子序列（Consequence Logique）的定义：一个公式（或公式集合）是另一个公式（或公式集合）的逻辑子序列，当且仅当所有的模型（或称解释，指派）是的模型，记做
证明：
根据完备性定理我们可以知道子句集合拥有一个驳斥，那么对应的集合也拥有驳斥，那么这两个集合都是有限的，所以一个的子集合在衍生驳斥中也是有限的，我们根据正确性定理可以知道，通过应用衍生规则,也是不可满足的，那么很显然存在对应于的公式集合来说，由于含有以子句形式的集合,那么集合必定是不可满足的。
应用
从这个定理可以得出，如果某个一阶句子对于特征值为零的所有域都成立，则存在着一个常量，使得这个句子对特征值大于的所有域都成立。这可以被看作为如下：假定是要考虑的句子。那么它的否定，和域公理与句子的无限序列1+1≠0,1+1+1≠0,...一起，不能被假定所满足。所以这些句子的有限子集是不可满足的，意味着在有足够大特征值的这些域中成立。
从这个定理还得出，有一个无限模型的任何理论都有任意大基数的模型。所以，有着带有不可数多个自然数的皮亚诺算术有非标准模型。非标准分析是出现无限个自然数的另一个例子，是不能被任何公理化所排除的可能事物，也是紧致性定理的一个推论。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
