●前言
●章 哥德爾證明背後的一般思路
● 1.1 哥德爾定理和塔斯基定理的抽像形式
● 1.2 ￡的不可判定的句子
●第2章 塔斯基算術定理
● 2.1 語言￡E
● 2.2 並置與哥德爾編碼
● 2.3 塔斯基定理
●第3章 含幕運算的皮亞諾算術的不接近性
● 3.1 公理繫統P.E.
● 3.2 公理繫統的算術化
●第4章 不含有冪運算的算術
● 4.1 P.A.的不接近性
● 4.2 更多關於∑1-關繫的討論
●附錄
●第5章 哥德爾基於致性的證明
● 5.1 一些抽像的不接近性定理
● 5.2 ∑0-接近性
●第6章 羅瑟繫統
● 6.1 源自羅瑟的一些抽像的不接近性定理
●部分目錄

本書介紹了哥德爾不接近性定理的各種證明及相關的塔斯基定理，包括純抽像的不接近性定理，使用真概念的基於加、乘及冪運算的算術公理化的哥德爾不接近性定理及僅基於加與乘運算的哥德爾不接近性定理，哥德爾當初不使用真概念基於ω-一致性的不接近性證明，羅瑟的基於簡單一致性的不接近性證明。本書還介紹了謝頗德森表示與分離定理、不動點定理、第二不接近性定理、與不接近性定理相關的一些邏輯謎題以及不接近性定理和模態邏輯的關聯。

(美)雷蒙德·M.斯穆裡安著 著 餘俊偉 譯