不完全性定理とはなにか

ゲーデルとチューリングの考えたこと　 ブルーバックス