arithmetization算术: arithmetic figure; arithmeti ...化: change; turn; transform把…算术化: arithmetize形式系统的算术化: arithmetization of formal system形式系统算术化: arithmetization of formal system下载手机词典可随时随地查词查翻译