(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
双语例句
用作名词 (n.)
In the philosophy of mathematics his position was logicism, the view that all of mathematics can be derived from logical premises. 在数学哲学中他的立场是逻辑主义,这是一种认为所有的数学都能够从逻辑前提中推导出来的观点。