形式化算术

规范用词形式化算术

英文翻译formalized arithmetic

所属学科数学 > 数理逻辑数学基础 > 模型论

名词审定数学名词审定委员会

见载刊物《数学名词》 科学出版社

公布时间1993年