数理論理学で解読できるの?