## 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.