1) mathematical axiom
数学公理
1.
Directing at the conceited and ignorant conclusion about mathematical problem made by Dubhring, such as mathematical concepts and mathematical axiom, Engels refuted the fallacy based on the production practice.
针对杜林在数学概念、数学公理等数学问题所作出狂妄、无知的唯心主义的吹嘘,恩格斯 在生产实践的基础上批判了杜林的谬论,指出了数学的基本概念是对客观现实中的具体事物的抽象反 映,数学公理的内容来源于现实世界以及数学的产生和发生的根本动力在于生产实践的唯物主义原理 这对于我们今天的哲学研究、自然科学研究有重大的意
2) axiomatic deductive mathematics
公理演绎数学
3) mathematical expression understanding
数学公式结构理解
4) mathematical formula
数理公式
1.
Several questions about mathematical formulas in literature cited in scientific papers;
科技论文引用文献中的数理公式应注意的问题
2.
This paper puts forward there is not a certain rule of the layout of mathematical formula in science and technology periodical after investigating the 32 periodicals of science and technology.
对32种科技期刊进行了考察,发现目前科技期刊中数理公式的编排无一定的规则,为使科技期刊中数理公式的编排进一步规范化,针对共同存在的几个问题,提出了规范化的见解。
5) axioms of denumerability
可数公理
6) norm axioms
范数公理
补充资料：公理化数学
公理化数学是以逻辑为工具，用公理化的方法来试图包容数学中的“所有”知识。集合理论是公理化数学中的传统部分的基础，而现代数学中的范畴理论是以“类”这个概念为基础的。“类”是比集合更为基本的概念，因此，类的理论是集合理论中更为基础的部分。
目录
|
[编辑] 类的理论
类的理论是原公理化集合论中那些适用于集合与类的内容，是公理化的“朴素集合论”。
类 -- 集合 -- 对应 -- 关系 -- 函数
[编辑] 集合理论
[编辑] 数学系统
[编辑] 范畴理论
说明：补充资料仅用于学习参考，请勿用于其它任何用途。