渕野昌『「「不完全性定理に挑む」に挑む」に挑む』
https://www.jstage.jst.go.jp/article/kisoron/41/1/41_KJ00008987984/_article/-char/ja/
渕野 昌
林 晋, 八杉 満利子 『ゲーデル 不完全性定理』とゲーデルに挑むの書評．