08/05/11 01:01:15
勉強しといたほうが良いのは確かですけど、
とりあえず集合論勉強して、必要性を感じたら述語論理を勉強する、
というやり方もあります。
そちらのほうがモチベーションは湧くと思います。
Kunenの本では、述語論理は知らなくても一応読めるように書いてあるはずです。
ただし、知っといたほうが良いとは書いてありますし、
完全性定理の証明などは書いてありません。
第二不完全性定理についてもかなり端折ってあります。
それから「集合と位相」みたいな授業や教科書で扱われるような、
順序数と基数に関する初歩的事項は知らないと厳しいかもしれません。