すうがくてきろんりがく

数学的論理学

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

1. 1

   mathematical logic

   名詞