<logic> A well-formed formula which is taken to be true without proof in the construction of a theory.
Compare: lemma.
(1995-03-31)
Try this search on Wikipedia, OneLook, Google
Nearby terms: AWT « aXe « AXIOM « axiom » AXIOM* » Axiomatic Architecture Description Language » axiomatic semantics
Copyright 2010 Denis Howe
