数理論理学 (すうりろんりがく) — mathematical logic | Kumi Dictionary