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

Try this search on Wikipedia, OneLook, Google

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


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.