論理学をつくるは公理系の完全性証明まで読み切って無事三部(古典論理学パート)を読み切りました。 そこまでの感想とかは改めてメインブログの方に書こうと思います。 おさらい 前回は練習問題を解いただけなので内容の繋がり的には前々回からの続き。 yuyub…