>>211
定理3.1.13が不完全性定理でしょうか？
この本は不完全性定理という記述をあえて避けているんでしょうか。

とすると、論理学の古典や歴史的文脈は完ぺきに排除した、
天下り的現代論理学入門書ということになるのでしょうか。