予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し、より充実した内容に。 はじめに 数学基礎論の問題構制 本書の構成 I部 入門篇 第1章 1階論理入門 第2章 計算理論入門 第3章 不完全性定理 II部 基礎篇 第4章 「基礎篇」の準備 第5章 モデル理論 第6章 計算理論 第7章 集合論 第8章 証明論 付録A 補遺 付録B 演習略解 付録C 文献案内 Mathematical Logic Expanded Revised Edition Toshiyasu ARAI