モデルは完全性定理の証明の中に唐突に出てくる。定義は確かに一体なんなんだ。