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