AXIOM
A commercially available subset of the Scratchpad, symbolic mathematics system from IBM.
["Axiom - The Scientific Computing System", R. Jenks et al, Springer 1992].
[Relationship with AXIOM*?]
axiom
A well-formed formula which is taken to be true without proof in the construction of a theory.
Compare: lemma.