ストラクチャー，モデルに関する用語を整理する。 構造（ストラクチャー，Structure) とは、議論の対象となる集合（ドメイン/台集合 D）と、その集合上で言語の記号（定数記号、関数記号、述語記号）を具体的にどのように割り当てるか、すなわち解釈を ...