数理論理学って純粋数学よりも歴史が浅いってのもあるかも知れないが(←だったら情報科学はどうなんだよｗ)、舐められてる感じがあるんですかね？