1) independent axiom
独立性公理
2) independence of axiom
公理独立性
1.
One of important issues about the axiomatic method is independence of axiom.
考察公理化最为发达的物理学中关于独立性问题的争论,可以看出,自然科学的公理独立性问题不同于逻辑学和数学,有自身独特的方法论价值。
3) function independence axion
"功能独立性"公理
5) independence axiom
独立公理
1.
To overcome the objective conflicts of multi-attribute decision-making and reduce the complicacy of repetitive decision-making,a directed hierarchy model of multiple criteria analysis based on the independence axiom and an evaluation method based on the improved information axiom were presented through investigating the decision-making process based on the axiomatic design theory.
针对多属性决策过程中容易引起目标冲突、重复决策过程复杂等问题,对基于公理设计理论的多属性决策过程进行了研究,提出了基于独立公理的有向层次化指标分析体系和基于信息公理的方案评价方法。
6) independence theory
独立性原理
补充资料：公理系统的独立性
公理系统的独立性
independence of an axiom system
公理系统的独立性【远曲伴山暇of an axl..卿劝即1;”e3”“e“Moc几e“eTeMua以HOM」 给定公理理论的一个公理系统的一种性质，其定义如下:系统中的每一公理是独立的(hlde讲ndellt)，即它不是系统中其他公理构成的集合的逻辑结果.具有这种性质的一个公理系统称为独立的(访de详ndent). 在一个给定的公理理论中，一条公理的独立性意味着该公理可用它的否定代替，而不会得到矛盾.换句话说，一条公理是独立的，当且仅当存在该理论的一个解释〔面crpreta石on)，使得它在这个解释中是假的，然而该公理理论的其他所有公理在这个解释中都是真的.构作这样一种解释是证明独.立性的一个典型方法. 当一个公理理论是作为一个形式系统(jbnnalsystem)被构造出时，逻辑结果的概念形式化为可推演性概念;一条公理被认为是独立的，如果它不能由该形式系统的其他公理用其推演法则推演出.对于一大类形式系统(即一阶理论)，相对于可推演性的独立性与相对于逻辑结果的独立性是一致的. 对于形式系统及演算(c司culus)，谈论推导法则的独立性也是有意义的.一个推导法则(deri珑ltionru】e)称为独立的(加由详n由nt)，如果存在演算的一个定理不用该推导法则就推导不出来. 公理的独立性本身不是公理理论的必不可少的性质.它仅仅表示理论的各个初始假设都不是多余的，暗示它们在技术上有某种便利.然而，研究公理系统的独立性以及独立性的证明有利于对所研究理论更好的理解.我们只需举出几何公理系统中Eudid第五公设(皿卜postulate)独立性问题的研究对数学发展的影响就足够了.【补注】令数学家们关心的最通常的例子是连续统假设(contillu切m hy卯tl鹉is)及选择公理(~m ofcho-ice)与集合论的通常公理的独立性:K .G往北1已经证明，由集合论的公理既不能证明连续统假设的否定，也不能证明选择公理的否定.而P .Colle幻已经证明，集合论的公理既不蕴涵连续统假设，也不蕴涵选择公理.卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条