演習が重要というよりは考えることが重要なんじゃないのかな?

演習解いたところでforcingとかゲーデルの不完全性定理とかたぶん理解できないと思うんだけど…。

解析系(代数方面)は演習めちゃめちゃ重要だろうけど。