第１章　ギリシアの奇跡
１　「らしい」と「である」
２　根拠を問う
３　理想化する
４　体系化する
第２章　体系とその進化
１　定義の退化
２　公理系の精密化
３　公理系の進化
４　モデルの多様化
５　モデルの効用
　言葉は何でもよいか？
第３章　集合論の光と影
１　数学教育と集合論
２　集合論の光
３　集合論の影
４　根拠を求めて
　関係概念の集合論的記述
　対角線論法
　ブローエルと排中律
　現代数学に大きな影響を及ぼした数学者たち
第４章　証明の形式化
１　推論とは何か
２　正しい推論のパターン
３　公理が足りない
４　論理体系の構築
５　証明の形式化
６　形式化の徹底
　両刀論法
　同値関係の解説
　アキレスとカメ
　再帰的定義について
　述語論理の階数について
第５章　超数学の誕生
１　超数学の目標
２　超数学の方法
３　超数学の土台
　有限の立場で認められる基本操作について
第６章　ゲーテル登場
１　完全性定理
２　不完全性定理
３　第２、第３不完全性定理
４　おわりに
　定理２をめぐって
　人間、形式化、コンピューター
　表現ということ
　第２不完全性定理の証明のあらまし
　第３不完全性定理とその証明の方針
　コンピューター感覚の不完全性定理
　ゲーテルの証明のやさしい？
参考文献
あとがき