logicism

• 逻辑主义是一种哲学理论，主张所有数学真理都可以从形式逻辑的原则推导出来，数学可化归为逻辑。

A philosophical theory asserting that all mathematical truths can be derived from the principles of formal logic.

不可数

1. Philosophical theory of mathematicsC2formal

   The philosophical position that mathematics is reducible to, or an extension of, formal logic.

   逻辑主义

   • Logicism was a central project of early analytic philosophy.
   • The attempt to prove logicism was a major goal of Bertrand Russell and Alfred North Whitehead's Principia Mathematica.
   • Critics of logicism argue that some mathematical truths cannot be derived from purely logical axioms.

   反义词constructivismformalismintuitionism