複数辞典一括検索+

a 【数学】 数学のある理論を算術に還元する, すなわちその理論の諸対象・諸概念を自然数を用いて定義し直す.🔗🔉

a 【数学】 数学のある理論を算術に還元する, すなわちその理論の諸対象・諸概念を自然数を用いて定義し直す.

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