arithmetization n算术化
arithmetization of formal system形式系统的算术化;正式系统算术化;翻译
arithmetization of Turing machine图灵机的算术化
arithmetization of geometry几何学算术化
the trend of arithmetization算术化趋势
arithmetization of physics[物] 物理学算术化
arithmetization of analysis分析算术化