all-derivable_有道手机词典

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