片语
arithmetization of formal system形式系统的算术化
arithmetization of analysisThe arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century. Kronecker originally introduced the term arithmetization of analysis, by which he meant its constructivization in the context of the natural numbers (see quotation at bottom of page).
arithmetization of geometry几何学算术化
arithmetization n算术化
arithmetization of Turing machine图灵机的算术化
arithmetization of physics[物]
the trend of arithmetization算术化趋势