+1 ≠ 0, ...一起，不能被假定所满足。所以这些句子的有限子集是不可满足的，意味着"S"在有足够大特征值的这些域中成立。从这个定理还得出，有一个无限模型的任何理论都有任意大基数的模型。所以，有着带有不可数多个自然数的皮亚诺算术有非标准模型。非标准分析是出现无限个自然数的另一个例子，是不能被任何公理化所排除的可能事物，也是紧致性定理的一个推论。
证明.紧致性定理可以使用哥德尔完备性定理来证明，它确立了一组句子是可满足的，当且仅当没有矛盾可以证明自它们。事实上，紧致性定理等价