ax
iom
复数形式
axioms
1
公理, 假设
(logic) a statement or proposition that is accepted as true without requiring proof
- In Euclidean geometry, the parallel postulate serves as one of the fundamental axioms.
在欧几里得几何中，平行公设作为基本公理之一。
- The principle of non-contradiction is often cited as a basic axiom in classical logic.
不矛盾原则常被引用为古典逻辑中的基本公理。
- In mathematical logic, the law of identity is an axiom stating that every object is identical to itself.
在数理逻辑中，同一性法则是一个公理，它陈述了每个对象都与自身相同。
- A key axiom in set theory is the axiom of choice, which asserts the existence of a set containing exactly one element from each non-empty subset of a given set.
集合论中的一个关键公理是选择公理，它断言存在一个集合，该集合恰好包含给定集合的每个非空子集中的一个元素。
- The principle of bivalence, an axiom in classical logic, holds that every proposition is either true or false.
二值性原则，经典逻辑中的一个公理，认为每个命题要么为真，要么为假。