1回述語論理の完全性定理の証明抑えて学部3年ぐらい,不完全性定理の証明まで
そらで言えるようになって学部4年or修士1年じゃないのかなぁって
個人的には思ってるんですが。
それと,公理的集合論を深くやる人は,数理論理学は
どの程度抑えておいたほうがいいのかも教えて欲しいです
自然数論の無矛盾性の証明は是非抑えておきたいと思いつつも
全然手を付けていないっていう事もあります・・