axioms

英 [ˈæksɪəmz]

美 [ˈæksiəmz]

n.  公理
axiom的复数

柯林斯词典

• N-COUNT 公理；原理
  Anaxiomis a statement or idea which people accept as being true.
  1. ...the long-held axiom that education leads to higher income.
     教育会带来高收入这一长期公认的观念

双语例句

• Axioms are mathematical facts that we take as self-evident and do not try to prove from simpler principles.
  公设就是不证自明的数学事实，无法从更简单的原理推导出来。
• Euclid's books on geometry, with their formal axioms and rigorous methods of proof, shaped mathematical thinking for more than 2000 years.
  他关于几何方面的书籍，以其形式公理和严格论证方法影响世界数学思想达2000多年之久。
• No one really doubted its truth and yet it lacked the compelling quality of the other axioms.
  没有人怀疑它的真理性，但它却缺乏象其他公理那种说服力。
• Theorems which are statements about the program inferred from the axioms.
  定理（theorems）由公理推论得到的关于程序的陈述。
• A space in which Euclid's axioms and definitions apply; a metric space that is linear and finite-dimensional.
  满足欧几里得公理和定义的区间；一种线性且有限维的区间。
• Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
  以欧几里德的公理为基础对点、线、角、面和立体的研究。
• As I mentioned before, proofs use axioms and theorems to make their case.
  如前所述，证明以公理和定理做为其论据。
• The goal is to link together axioms and theorems in such as way as to prove property P true.
  目标是将公理与定理联合起来证明特性P为真。
• The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.
  模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
• Context: The Greeks based the study of geometry on definitions and axioms.
  上下文：希腊人把几何研究的最基本出发点放在定义和公理上。