arithmetization of formal system

[计] 形式系统算术化

※ 以上参考资料就是本英汉词典详细汇总的单词arithmetization of formal system的翻译英语含义，如有错漏请向我们提供反馈意见。