arithmetization of formal system 栏目: 英汉词典 查阅: 56次 【计】 形式系统算术化英汉词典 标签：arithmetization of formal system,用法,音标,短语