複数辞典一括検索+

n. 【論理】 証明論《論理・数学等の公理体系を構文論的・演繹的にのみ追究し, その対象領域との関連を考慮しない論理学の一部門; model theory》.🔗🔉

n. 【論理】 証明論《論理・数学等の公理体系を構文論的・演繹的にのみ追究し, その対象領域との関連を考慮しない論理学の一部門; model theory》. Proops /prps/, Marjorie [Ma・je /mdi | m-/]

研究社新英和大辞典 ページ 214713 での論理単語。