数理論理学より哲学しようぜ