こっそり読んでいます。まだまだ最初の方の命題論理のコンパクト性のところなのですが、いきなり悩んでました... こちらのテキストでは、前提のある場合の命題論理の一般化された完全性定理『 』を先に証明して、そこからコンパクト性定理『 が充足可能 ⇔ 任…