mdel thory n. 【論理】 モデル理論《論理・数学等の形式的公理体系の構成(要素)に対し集合論的にその対象をモデルとして解釈する論理学の一部門; cf. semantics 2, proof theory》.