モデル論の図式

モデル論の「図式（ダイアグラム）」は意外な意味。

Aが言語Lのモデルのとき、Lの原子文または原子文の否定（Prologだとリテラルって呼んでいたかな？）で、Aで成立するものを全部集めたものをAの図式と呼ぶようだ（まだ自信がないが）。

いずれにしても、モデル論の用語をまとめる必要がある。