内容紹介：自然数論S において命題Gを「Gは証明できない」という意味のものとする．　このような命題Gが自然数論S の言語で構成できたとするとき，「G が証明できる」と仮定すればG の意味から「Gは証明できない」ことになり矛盾である．そこでその否定「Gでない」すなわち「Gは証明できる」が証明できると仮定してみるとG は正しいはずであるから命題G の意味「G は証明できない」が成り立つはずだがこれは矛盾である．いずれの場合も理論S は矛盾する．したがって自然数論が無矛盾とすればG もG の否定も証明できない．これがゲーデルの不完全性定理の証明の要約である．　ゲーデルの定理がその時代に提出されたヒルベルトのプログラムに対する否定的結果と考えられていた経緯があるため，このような議論を行う際は再帰的に枚挙可能な命題の構成法のみが考察される．しかし不完全性定理の前にやはりゲーデルによって証明された一階述語論理に関する完全性定理を論ずる際はHenkin (1949) 以降一般にそのような制限は設けず，対象理論に関する議論は選択公理を含めた集合論の公理を仮定して行われる．この立場からゲーデルの不完全性定理を考察すると現代数学の基礎とされる集合論自体にゲーデルの論法を適用することになる．本書ではヒルベルトの提唱した形式主義を概観したのち命題論理，述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べる．その後このようなHenkin 流の立場から不完全性定理を考察しゲーデルの証明に潜む暗黙の仮定に迫る．
もくじ情報：不完全性定理とは何か；形式的自然数論；命題計算の無矛盾性；命題計算の完全性；述語計算の無矛盾性；述語計算の完全性；ゲーデルナンバリング；証明の再帰性；証明の数値的表現；ゲーデル述語；数学は矛盾している？；自己言及と矛盾性

北田　均(キタダ　ヒトシ)
１９７３年東京大学理学部数学科卒業。１９７９年理学博士。現在、東京大学大学院数理科学研究科准教授（本データはこの書籍が刊行された当時に掲載されていたものです）