意味と形式の織り成す世界へ―。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く力作。

数学基礎論の考え方
第１部　数理論理学入門（等式理論
１階論理
モデルの理論）
第２部　自然数と実数の形式体系（１階算術と不完全性定理
１階算術の超準モデル
実閉体の完全性と決定可能性）
第３部　２階算術と逆数学（実数論と逆数学
２階算術と超準的方法）