１章のハイライトのひとつ、定理1.4.14(コンパクト性定理）の証明についてコメントする。まず、P.30の初めにある『1階論理のトートロジー』の定義であるが、よく理解できなかったので、ちょっと調べてみるとその採用した体系によって若干異なる定義があり、…

こっちのネタ本の方もすこし読み進めてみた。気になったところをコメントする。 P.13の命題1.2.1の下のあたりに、『どんな閉論理式の有限集合をとっても、それが任意の可除アーベル群で正しければ、可除でないアーベル群でも正しくなってしまう』というステ…