風邪で寝てる間にこんなにたくさんとは思って下りませんでした。ありがとうございます。
岩波の応用数学講座の奴が難しいというより大事なところが抜けているというのには正直ほっとしました。
また、ブルーバックスのやつが循環論法になっているのかはわかりません。ただ、命題の真偽と証明可能性を摩り替えるというのは、不完全性定理の証明自体には役立ったのかもしれないが、誰かが言っていた不完全性定理の意味の理解の困難さに繋がるのではと思います。