元数学
规范用词
元数学
英文翻译
metamathematics
所属学科
自然辩证法
>
科学哲学
>
数学哲学
名词审定
自然辩证法名词审定委员会
见载刊物
《
自然辩证法名词
》 科学出版社
公布时间
2003年
数学哲学 的上级学科
自然辩证法
科学哲学
元数学 相关科技名词
数学哲学
philosophy of mathematics
数学基础
foundation of mathematics
元数学
metamathematics
直觉主义
intuitionism;intuitionalism
形式主义
formalism
数学柏拉图主义
Platonism in mathematics
数学实在论
realism in mathematics
数学经验论
empiricism in mathematics
数学拟经验论
quasi-empiricism in mathematics
数学悖论
mathematical paradox
哥德尔不完全性定理
Goedel's incompleteness theorem
希尔伯特纲领
Hilbert programme
公理化
axiomatization
公理主义
axiomatism
形式系统
formal system
数学模型
mathematical model
数学实验
mathematical experiment
似真推理
plausible inference
数学归纳法
mathematical induction
关系映射反演
relationship-mapping-inversion
数学猜想
mathematical conjecture
数学美
mathematical beauty
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单