モデル理論 概要「モデル理論の基礎的な部分」意味論「意味について考えるモデル理論の原型」理論「これはこういうものだという要望の集まり」L-集合モデル「集合論の汎用的なモデル」 完全性定理「モデル内なら論理的帰結は証明可能と同義」コンパクト性定理「一部にモデルがあるなら全体にも」Löwenheim-Skolemの定理「一階の範囲なら無限を制御可能」