矛盾可以被该理论所证明。这是模型论的中心，因为它使得我们能够通过检视模型回答关于理论的问题，反之亦然。不要把完全性定理和完备理论的概念混淆。一个完备的理论是包含每个句子或其否命题的理论。重要的是，一个完备的协调理论可以通过扩展一个协调的理论得到。紧致性定理说一组语句S是可满足的（即有一个模型）当且仅当S的每一个有限子集可满足。在证明理论的范围内类似的定义是下显而易见的，因为每个证明都只能有有限量的证明前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法，一个是库尔特·哥德尔提出的（通过证明