数学基礎論講義 　不完全性定理とその発展
田中　一之　編著　鹿島　亮・角田　法也・菊池　誠　著
ttp://www.nippyo.co.jp/book/1294.html
ttp://www.fukkan.com/fk/VoteDetail?no=12119