モデル理論

　

概要「モデル理論の基礎的な部分」

意味論「意味について考えるモデル理論の原型」

理論「これはこういうものだという要望の集まり」

L-集合モデル「集合論の汎用的なモデル」

　

完全性定理「モデル内なら論理的帰結は証明可能と同義」

コンパクト性定理「一部にモデルがあるなら全体にも」

Löwenheim-Skolemの定理「一階の範囲なら無限を制御可能」