Axiom

Revision as of 19:15, 12 November 2006 by Mathnerd314 (talk | contribs)

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

For example, the statement $a \times b = b \times a$ 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.