>>29
適当な数理論理学の本を読んだほうが早い