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)
Nearby terms:
AWT « aXe « AXIOM « axiom » AXIOM* »
Axiomatic Architecture Description Language »
axiomatic semantics
|