If every axiom in the theory is true in the interpretation, then the interpretation is called a model for the theory.
理論のすべての公理がその解釈において真であるとき、その解釈はその理論に対するモデルと呼ばれる。