In mathematics, a statement that is
assumed to be true and upon which theorems
are proved by using logical deduction. 
Euclid used a series of axioms that he
considered could not be demonstrated in terms
of simpler concepts to prove his geometrical
theorems.

Subject by: Russell Webb