すうりろんりがく

数理論理学

表記・読み：すうりろんりがく

1. 1

   mathematical logic

   名詞