ゲーデルの完全性定理と不完全性定理を目指して初学者が着実に学びを進められるようにわかりやすく解説。

第１部　論理の健全性と完全性（導入
命題論理
述語論理の形式文法
ストラクチャーとモデル
証明を形式化する
述語論理の健全性
述語倫理の完全性
コンパクト性とその応用）
第２部　不完全性定理（構文規則の厳密化
算術の体系と関数の表現
構文規則の算術化
不完全性定理）
第３部　いくつかの話題（自然演繹
直観主義論理とクリプキ意味論
超羃による超準モデルの構成
順序数と超限帰納法
集合についての補足）