１階論理のコンパクト性
【コンパクト性定理】
１階論理の公理系Ｔの任意有限部分がモデルを持つならば、Ｔはモデルを持つ。
ここで出てくる「コンパクト性」は、位相空間での「コンパクト性」と何か関係があるのかなーと思ってググってみたら、やっぱりあった。３．５秒で疑問が解決しました。
位相空間がコンパクトであることの定義はいくつかありますけど、そのうちのひとつ：
有限交叉性を持つ任意の閉集合系は、空でない共通部分を持つ。
これが関わってくるんですね。ｵﾓｼﾛｲﾅｰ。
ウルトラフィルターを使えばコンパクト性定理は証明できますが、新井先生の本では命題論理のコンパクト性を通して１階論理のコンパクト性を証明していました。
命題論理で論理式が充足可能であることを、真理値への対応つまり付値によって定義
↓
命題論理のコンパクト性：
命題論理の論理式の集合が充足可能 ⇔ Ｔの任意有限部分が充足可能
↓
Henkin拡張しちゃって、１階論理の公理系を命題論理の論理式の集合とみなす。ここから１階論理のコンパクト性の証明
命題論理のコンパクト性を証明する時に、任意有限部分が充足可能な論理式の集合で極大なものを考えていくあたりに、ウルトラフィルターの片鱗を感じました。
コンパクト性で思い出しましたけど、ＺＦＣはコンパクト性を持たないという理解でいいのでしょうかね？ＺＦＣの任意有限個の公理に対しては（推移的で可算な）モデルが存在しますけど、ＺＦＣ全体のモデルは存在しないので。ん？ということはＺＦＣの公理の集合は１階論理では書けないってこと？うーん。また調べておこう。
