「はじめに」から引用する：
本書は，ゲーデルの生誕 100 周年の記念事業として刊行中のシリーズ『ゲーデルと 20 世紀の
論理学 』 全 4 巻の第 2 巻目である．
私は数学の本にはいつも畏敬を持って接している。とくに、論理学（数学基礎論、数理論理学、ロジック）の本についてはそうである。 生半可な理解がかえって真実と遠ざかってしまうからだ。
このページの数式は MathJax で記述している。
| 書名 | ゲーデルと 20 世紀の論理学 論理学 ② 完全性定理とモデル理論 |
| 編者 | 田中一之 |
| 著者 | 田中一之、坪井明人、野本和幸 |
| 発行日 | 2006 年 12 月 5 日 第２刷 |
| 発行元 | 東京大学出版会 |
| 定価 | 3800 円（本体） |
| サイズ | A5版 |
| ISBN | 4-13-064096-8 |
| その他 | 草加市立図書館にて借りて読む |
まりんきょ学問所 ＞ 数学の本 ＞ 田中一之（編）：ゲーデルと 20 世紀の論理学 論理学 ② 完全性定理とモデル理論
