第1部　パズル、パラドックス、無限



1 　とりとめのない自己紹介

2　 騎士と悪漢の島

3 　不思議なムジカ島

4　 メタパズル4題

5　 認められた騎士と悪漢

6 　パラドックス？

7 　無限と数学的帰納法

8　 自己参照入門

9 　不動点パズル

10 奇妙な処理系

11 判定装置を錯綜させる

12 そのほかのゲーデル的パズル



第2部　証明可能性、真理、決定不能性



13 真理と証明可能性

14 構文論的不完全性定理

15 段階的証明可能性

16 形式体系と再帰的関数論

17 不完全性と決定不能性

18 一階算術

19 算術的真理は形式化できない

20 ペアノ算術の不完全性