複数辞典一括検索+

すうり‐ろんりがく【数理論理学】🔗🔉

すうり‐ろんりがく数理論理学】 (mathematic logics)論理学の数学的記号化により形式的完成をもたらしたブールやフレーゲの記号論理学。 ⇒すう‐り【数理】

広辞苑 ページ 10461 での数理論理学単語。