今日は10時ごろに起きて14時まで布団の中でだらだらして飯食って、映画の感想の手直しをしてた。 yuyubu.hatenablog.com ネスぺの勉強のやる気が出ない。 午後は過去問1年分も解いてない。 午前は200問解いたが、正答率ギリギリ60%程度。 また落ちる。 yuyub…

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