(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. 在數學哲學中他的立場是邏輯主義，這是一種認為所有的數學都能夠從邏輯前提中推導出來的觀點。