ゲーデルに挑む - 東京大学出版会

「不完全性定理」を完全に理解したい読者のために――．原論文の日本語訳とともにその内容について徹底解説．ロジック初心者にも配慮し，記号の定義などの基本から，ていねいに説明をしていく．ノートとペンを用意して，原典の論理展開を味わってみよう． はじめに 序 ゲーデルと不完全性定理 原論文 訳・解説 原論文第１節 概要 原論文第２節（その１） 体系P、ゲーデル数、再帰的関数 原論文第２節（その２） メタ数学の再帰的表現 原論文第２節（その３） 第一不完全性定理 原論文第３節 １階算術への還元 原論文第４節 第二不完全性定理 補遺