【書籍】 野崎昭弘 『不完全性定理－数学的体系のあゆみ』（たのしいすうがく２） 日本評論社 1996.9

ゲーデルの定理、超数学入門である。
ゲーデルの不完全性定理とは、体系Ｚの中では表現できないような論法を使わないと、Ｚの無矛盾性（ある文Ｍについて、Ｍと（Ｍの否定）が証明できることはないこと。）の証明はできない。体系外の立場に立つ必要がある。

参考文献

■　書籍情報入手先　　　★★★☆☆
　　『空気を読むな、本を読め。』　小飼弾　2009.11
■　所在
　　大学410.4.N98