ゲーデルの不完全性定理のざっくりとしたアウトラインが欲しくて このあとに専門書でもう一回やって、理解したい