モデル理論

 

概要「これはこうする、というルールの集まり」

真理値「真・偽 とか 正しい・違う みたいなやつ」

真理値割り当て「議論の最初に行うやつ」

 

 

コンパクト性定理「有限の文で全体を説明できる」

レーヴェンハイム・スコーレムの定理「可算一階の理論の話」