In mathematics or logic, an unprovable rule or first principle accepted as true because it is self-evident or particularly useful (e.g.

• 在数学或逻辑上，公理是不可论证的第一原理或规则，是普遍为人接受的真理，因为它天生的优点或是因为它的不证自明。