m]
| 1. | a self-evident truth that requires no proof. |
| 2. | a universally accepted principle or rule. |
| 3. | Logic, Mathematics. a proposition that is assumed without proof for the sake of studying the consequences that follow from it. |

In mathematics, a statement that is unproved but accepted as a basis for other statements, usually because it seems so obvious.
Note: The term axiomatic is used generally to refer to a statement so obvious that it needs no proof.
AXIOM language
A commercially available subset of Scratchpad, from IBM.
["Axiom - The Scientific Computing System", R. Jenks et al, Springer 1992].
(1995-02-21)
axiom logic
A well-formed formula which is taken to be true without proof in the construction of a theory.
Compare: lemma.
(1995-03-31)