ジーニアス英和大辞典 ページ 45783 での【2数学は論理学に還元されるとする立場；cf. intuitionism, formalism》.】単語。