Axiom

An axiom is a proposition regarded as self-evident. Although extensive reasons may be given to support the desirability of including a particular axiom in a formal system, any reasoning within the context of the formal system must view the axiom as self-evident.

See also: action axiom and attention-focusing axiom.