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