ゲーデルと20世紀の論理学3

田中一之

不完全な公理系のなかで，数学はどこまで展開可能なのか？　そして，個々の数学理論に必要とされる公理とは？　本書では，２つの不完全性定理に現代的な証明を与え，それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する．

出版社

東京大学出版会

発売日

2007-03-01

ページ数

264ページ

ISBN

9784130640978