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