的理论得到。紧致性定理说一组语句S是可满足的（即有一个模型）当且仅当S的每一个有限子集可满足。在证明理论的范围内类似的定义是下显而易见的，因为每个证明都只能有有限量的证明前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法，一个是库尔特·哥德尔提出的（通过证明论），另一个是阿纳托利·伊万诺维奇·马尔采夫提出的（这个更直接，并允许我们限制最后模型的基数）。模型论一般与一阶逻辑有关。许多模型论的重要结果（例如哥德尔完备性定理和紧致性定理）在二阶逻辑或其它可选的理论中不成立。在一阶逻辑中对于