論理学(一階の述語論理)を始めた人がおそらく最初に突き当たる壁、あるいは面白くなってくるポイントはコンパクト性定理なのではないかと思う。 を言語とすると、定理の内容は(閉とは限らない)論理式の集合に対して、 が有限充足的(任意の有限部分集合がモデ…