AXIOM
<language>
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*?]Last updated: 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.Last updated: 1995-03-31
Nearby terms:
AWT ♦ aXe ♦ AXIOM ♦ axiom ♦ AXIOM* ♦ Axiomatic Architecture Description Language
Try this search on Wikipedia, Wiktionary, Google, OneLook.