In the philosophy of mathematics, the thesis that all mathematical propositions are expressible as or derivable from the propositions of pure logic.
在数学哲学中，认为数学是从逻辑推导出来的一种论点。
In the philosophy of mathematics, the thesis that all mathematical propositions are expressible as or derivable from the propositions of pure logic.
在数学哲学中，认为数学是从逻辑推导出来的一种论点。
应用推荐