複数辞典一括検索+

b 【論理】 論理・数学の証明のため記号や式に特殊な数をふり当てそれらを算術的に表現する; K. Gdel /G. gd/ の方法.🔗🔉

b 【論理】 論理・数学の証明のため記号や式に特殊な数をふり当てそれらを算術的に表現する; K. Gdel /G. gd/ の方法.

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