>>948
岩波文庫『ゲーデル 不完全性定理』の解説でも見てみたら