一個良構公式 
對於解釋 
被稱為真 (記作 
) 當且僅當 Sigma 中的每個序列 (
) (M 的域的所有可數序列的集合) 滿足 
。 
對於 
被稱為假 當且僅當 Sigma 中沒有序列滿足 
。
那麼，對於一組良構公式 
，解釋 
被稱為一個模型 當且僅當 Gamma 中的每個良構公式 (
) 對於 
為真 (Mendelson 1997, pp. 59-60)。
模型
另請參閱
廣義完備性定理, 解釋使用 探索
參考文獻
Mendelson, E. 數理邏輯導論，第 4 版 倫敦：Chapman & Hall, pp. 59-60, 1997。在 中被引用
模型請引用為
Weisstein, Eric W. "模型。" 來自 —— 資源。 https://mathworld.tw/Model.html