ax
iom
Plural
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.