もし言語のモデルがある特定の文（英語版）または理論（英語版）（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。
若一给定解释赋予一个句子或理论的真值为真，则这个解释即称为此一句子或理论的模型。