形式系统算术化翻译的英文

汉语拼音：

【拼音】 xíng shì xì tǒng suàn shù huà

英语翻译：

【计】 arithmetization of formal system

分词翻译：

形式系统的英语翻译：

算术化的英语翻译：