数理論理学ってどのくらい勉強すべきなの?