1) Urysohn axiom
公理Urysohn公理
2) axiom
公理
1.
On similarities and differences of axiom and hypothesis;
公理与假说异同论——兼论数学科学与教育的特殊性
2.
The Equivalence on the Axiom Systems for A Linear Space;
“线性空间”公理系统的等价性
3.
Studying plan of axiomatizing theoretical system of Mao Zedong Thought;
毛泽东思想公理化理论体系论纲
3) axioms
公理
1.
In this paper, the connectivity (completeness) axiom and the continuity axiom in Von Neumann Morgenstern Rational behavior axioms are weakened.
根据偏好关系所具有的格序特征 ,将VonNeumann Morgenstern理性行为公理体系中的连通性 (完全性 )公理弱化为格连通性公理 ,并相应地弱化连续性公理 ,得到了一集能更为合理地描述具有“有限理性”的决策行为的格序决策行为公理体系 ,构造并证明了在格序决策行为公理体系之下 ,(线性 )效用函数的存在惟一性定
2.
Axioms base are used in consistency checking and knowledge reasoning which solve the problems of information sharing and interoperability in semant.
对城市交通领域知识进行规范描述,详细描述了定义类层次及类的属性和关系,以及实例的基本规则,并从领域知识中提取出类内公理和类间公理,建立公理库,用于领域知识的一致性分析和知识推理。
3.
Here is a comprehensive discussion of the relationship between the axioms in the defintion of the vector space.
讨论线性空间定义中 8条公理之间的关系 ,给出公理 1的一个充分条件和公理 5的两个等价条件 ,证明公理 6与公理 8在有理数域上是等价的 ,因此它们在有理数域上不独立 ;给出所有只满足 8条公理中部分公理的四元组(V ,P , , )的例子 ,特别是构造了一个例子来说明公理 8在复数域上是独立的以及说明公理 1 ,8不成立和说明公理 1 ,6 ,8不成立的例
4) To axiom
To公理
5) axiomatic design
公理设计
1.
The Development of Punching Unit for Automobile Profile Based on the Axiomatic Design;
基于公理设计理论的轿车门窗密封条端头冲切工位的开发
2.
Methodological study of product concept development based on axiomatic design;
基于公理设计的产品概念设计方法研究
3.
Research on decoupling method of product design based on axiomatic design;
基于公理设计的产品设计解耦方法
6) transfer axiom
传递公理
1.
A transfer axiom is proposed, which declares that any form of transfer process is driven by the difference of the corresponding basic intensive property, and the transfer of basic extensive property in the process must be accompanied with the corresponding energy and exergy.
提出了传递公理,即任何形式的传递过程都是在相应基本强度量差推动下,基本广延量的流动过程;基本广延量的传递过程也同时是与之对应的能和(火用)的传递过程。
参考词条
补充资料：无穷性公理
集合论中肯定无穷集合存在的公理。
G.F.P.康托尔在建立集合论时，发现仅靠逻辑公理不能保证有无穷集合存在，因为没有一个一阶公式能在无穷个体域有效而在有穷个体域上不有效。而利用ZF系统中的公理①～⑥及⑧、⑨（见集合论）虽然可以定义一个个具体的自然数，也可以定义自然数概念，但却无法证明全体自然数的集合ω ={0,1,... }存在，也无法证明任何一个无穷集合的存在性。实际上,如果ZF-有模型，则全体继承性有穷的集合，即其本身有穷、其元素有穷、其元素的元素有穷......仍是ZF-的模型。即便如此,ZF-公理仍不能保证无穷集的存在，而必须有一条专门的公理。
按照无穷性公理，最基本的无穷集是自然数集ω，ω的最突出的特点是归纳性。它表现为如果嗞 ∈,并且x∈AU{x}∈A,就称A为归纳集。无穷公理通常就是从这个角度陈述的。利用无穷性公理和子集公理（见子集公理模式）可以定义 ω为最小的归纳集，一旦有了ω 就可以证明归纳原则和递归定理，然后就可以递归地定义自然数上的各种运算。例如， 可以把加法定义为m+0=m，n+s(n)=s（m+n）；乘法定义为m·0=0,m·s(n)=m·n+m。例中m为任意自然数，自然数之间的<关系定义为∈。容易验证，这样定义出的自然数与直观的自然数概念是吻合的。利用 ω和ZF公理可以定义整数、有理数、实数、复数等各种数学对象及其运算，也可以推出形形色色的无穷集合的存在性。
现代集合论中还有一些强无穷性公理，也叫大基数公理，它们断言有各种大基数存在，现已提出的大基数达数十种，它们都可以看作是埲的某种推广。
G.F.P.康托尔在建立集合论时，发现仅靠逻辑公理不能保证有无穷集合存在，因为没有一个一阶公式能在无穷个体域有效而在有穷个体域上不有效。而利用ZF系统中的公理①～⑥及⑧、⑨（见集合论）虽然可以定义一个个具体的自然数，也可以定义自然数概念，但却无法证明全体自然数的集合ω ={0,1,... }存在，也无法证明任何一个无穷集合的存在性。实际上,如果ZF-有模型，则全体继承性有穷的集合，即其本身有穷、其元素有穷、其元素的元素有穷......仍是ZF-的模型。即便如此,ZF-公理仍不能保证无穷集的存在，而必须有一条专门的公理。
按照无穷性公理，最基本的无穷集是自然数集ω，ω的最突出的特点是归纳性。它表现为如果嗞 ∈,并且x∈AU{x}∈A,就称A为归纳集。无穷公理通常就是从这个角度陈述的。利用无穷性公理和子集公理（见子集公理模式）可以定义 ω为最小的归纳集，一旦有了ω 就可以证明归纳原则和递归定理，然后就可以递归地定义自然数上的各种运算。例如， 可以把加法定义为m+0=m，n+s(n)=s（m+n）；乘法定义为m·0=0,m·s(n)=m·n+m。例中m为任意自然数，自然数之间的<关系定义为∈。容易验证，这样定义出的自然数与直观的自然数概念是吻合的。利用 ω和ZF公理可以定义整数、有理数、实数、复数等各种数学对象及其运算，也可以推出形形色色的无穷集合的存在性。
现代集合论中还有一些强无穷性公理，也叫大基数公理，它们断言有各种大基数存在，现已提出的大基数达数十种，它们都可以看作是埲的某种推广。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。