arithmetization of formal system中文翻译

arithmetization of formal system

中文翻译

形式系统算术化

相关单词

arithmetization
算术化

of
读音：[ɒv]
prep.的，属于

formal
读音：['fɒ:mәl]
a.正式的，形式的，礼仪的，拘于礼节的，拘谨的
n.正式的社交活动
甲缩醛；甲醛缩二甲醇
福马尔，甲缩醛，甲醛缩二甲醇
正式的

system
读音：['sistәm]
n.系统，体系，制度，方式，秩序，分类原则
系统；体制；体系
系统；体系
系统，系，制度，制，学派
系统，体系，制度