これまでの流れのおさらい 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】 【補助定理44-2 極大無矛盾集合の充足可能性補助定理】→これは次回やる 今日はリンデンバウム…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。