だから数理論理学があるというのに……。