公理化
规范用词
公理化
英文翻译
axiomatization
所属学科
自然辩证法
>
科学哲学
>
数学哲学
名词审定
自然辩证法名词审定委员会
见载刊物
《
自然辩证法名词
》 科学出版社
公布时间
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