一个良构公式 
对于解释 
被称为真 (记作 
) 当且仅当 Sigma 中的每个序列 (
) (M 的域的所有可数序列的集合) 满足 
。 
对于 
被称为假 当且仅当 Sigma 中没有序列满足 
。
那么，对于一组良构公式 
，解释 
被称为一个模型 当且仅当 Gamma 中的每个良构公式 (
) 对于 
为真 (Mendelson 1997, pp. 59-60)。
模型
另请参阅
广义完备性定理, 解释使用 Wolfram|Alpha 探索
参考文献
Mendelson, E. 数理逻辑导论，第 4 版 伦敦：Chapman & Hall, pp. 59-60, 1997。在 Wolfram|Alpha 中被引用
模型请引用为
Weisstein, Eric W. "模型。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Model.html