logicism マイ単語帳に追加

数学のすべては形式論理学から導かれるという哲学理論

(philosophy) the philosophical theory that all of mathematics can be derived from formal logic.

数学のすべては形式論理学から導かれるという哲学理論。