誰にも見えないブログ

これまでのおさらい 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性補助定理】→前回途中までやったのでこの続き。 補助定理44-2-1 Γ…