“axiom”是一个名词,意思是“公理;自明之理;基本原理”,在数学、哲学、逻辑学等领域广泛应用,用于表达无需证明就被接受为真的基本命题或规则,也可用于日常生活比喻无需证明的真理。
“axiom”一词源自希腊语“axíōma”,最初意为“值得接受的”或“自明的”。在英语中,它主要指那些被广泛接受、无需证明就被认为是真实的基本命题或规则。这些命题或规则构成了某个学科或理论体系的基础。
在数学中,“axiom”通常指公理,即构成数学理论体系的基本假设或规则。这些公理是数学证明的起点,不需要进一步的证明或解释。例如,在欧几里得几何中,平行公理(axiom of parallels)就是一个基本的公理,它指出通过直线外一点,有且仅有一条直线与该直线平行。这个公理是欧几里得几何体系的基础,无需进一步证明。
在哲学和逻辑学中,“axiom”也指那些被视为自明之理或基本原理的命题。这些命题构成了哲学或逻辑学理论的基础,并用于推导出其他更复杂的命题或结论。例如,在逻辑学中,矛盾律(law of contradiction)可以被视为一个基本的公理,它指出一个命题不能同时为真和假。
虽然“axiom”一词在日常生活和日常交流中并不常见,但在某些情况下,人们也会用它来比喻那些无需证明、显而易见的真理或原则。例如,人们可能会说“生存是第一公理”(Survival is the first axiom),用来强调生存的重要性。不过,这种用法相对较少见,且通常带有一定的文学或修辞色彩。
In mathematics, an axiom is a statement that is accepted as true without proof.(在数学中,公理是指无需证明就被接受为真的陈述。)
The parallel postulate is one of the axioms in Euclidean geometry.(平行公理是欧几里得几何中的公理之一。)
In philosophy, the law of identity is often considered an axiom.(在哲学中,同一律通常被视为一个公理。)