目次
ゲーデルの証明の基礎概念
算術におけるタルスキーの定理
べき乗に基づくペアノ算術における不完全性
べき乗に基づかない算術
ω無矛盾性に基づくゲーデルの証明
ロッサー体系
シェファードソンの表現定理
定義可能性と対角化
無矛盾性の証明不可能性
証明可能性と真理性に関する一般概念
自己言及体系
著者等紹介
高橋昌一郎［タカハシショウイチロウ］
ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学
川辺治之［カワベハルユキ］
東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員
村上祐子［ムラカミユウコ］
東京大学大学院理学系研究科修士課程修了後、インディアナ大学大学院博士課程修了。現在は立教大学特任教授。専門は情報哲学（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
