Axiom

An axiom is a statement that defines a given system of logic.

For example, the statement is an axiom for the field of real numbers under the operation of multiplication, but is not true for matrices.

Axioms and postulates are often used interchangeably, but there are several differences.