公理系の完全性を検証するあたりまで読んだ。明日で真理関数の理論の箇所は終えたい。あちらも参照しながら理解を深めたい。今回は新テクスト+2016年度版のレポートで新たにドイツ語一部の第一回を仕上げた。旧レポートのコメント欄も参考にした。新テクストを最後まで読んだから、明日は第二回を仕上げたい。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。