Difference between revisions of "Axiom"

 
Line 1: Line 1:
Axioms are statements that are assumed true. Examples of axioms are:
+
An axiom is a statement that defines a given system of logic.
  
x=x
+
For example, the statement <math>a \times b = b \times a</math> is an axiom for the [[field]] of [[real numbers]] under the [[operation]] of multiplication, but is not true for [[matrix|matrices]].
1=1
+
 
 +
Axioms and [[postulate]]s are often used interchangeably, but there are several differences.

Revision as of 20:15, 12 November 2006

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.