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