搜索
Axiom
01
公理
a saying that is widely accepted on its own merits
02
公理
(logic) a statement or proposition that is accepted as true without requiring proof
例子
The principle of non-contradiction is often cited as a basic axiom in classical logic.
In Euclidean geometry, the parallel postulate serves as one of the fundamental axioms.
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.
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.