紧性定理(compactness theorem)在解的先验估计及解的存在性问题研究中起重要作用的定理.。在逻辑数学中，紧性定理表明，当且仅当每个有限子集具有模型时，一阶句子的集合具有模型。 这个定理是模型理论中的一个重要工具，因为它提供了用于构建有限一致的任何一组句子的模型的一种有用的方法。