複数辞典一括検索+

すうがく-てき-ろんりがく [9] 【数学的論理学】🔗🔉

すうがく-てき-ろんりがく [9] 【数学的論理学】 記号論理学のこと。数学的推論(証明)の構造を形式化したものであることからの名。数理論理学。 →記号論理学

大辞林 ページ 147195 での数学的論理学単語。