<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

Try this search on Wikipedia, OneLook, Google

Nearby terms: AWT « aXe « AXIOM « axiom » AXIOM* » Axiomatic Architecture Description Language » axiomatic semantics


Copyright Denis Howe 1985 General Business Directory.