新版前言─—道格拉斯 R. 霍夫史達特

致謝

導讀──楊維哲教授



I Introduction

I 序

II 一致性的問題?

III 一致性的絕對證明?

IV 形式邏輯的系統編纂?

V 一致性絕對證明的一個成功的例子

VI 映射的觀念及其在數學上的應用

VII哥德爾的證明

A 哥德爾數碼

B 後設數學的算術化

C 哥德爾論證的核心

VIII 結論反思

附錄：注釋