>>354

数理論理の話をしているので、数理論理が必要不可欠な例をお願いします