数理哲学を専攻したいのですが