前991> 完全性定理を簡単に説明してください。
前992> 恒真な論理式が証明可能なだけだろー。
前993> では、恒真な論理式の定義を簡単に述べていただけますか？
前994> どんなモデルでも真になる論理式だよ
前995> モデルの定義を簡単に述べていただきますか？
前996> ある言語の論理式の集合をすべて真になるよう解釈できる構造だよ

上記の文章は、論理式の集合をＡと表わしたときに、
「Ａのモデル」とは「Ａが真となるよう解釈できる構造」だ
とするものですが、ここではＡを明示していないので、
単にモデルを構造と言い換えただけになっています。

ということで、構造の定義を簡単に述べていただけますか？