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