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

Nearby terms:

AXIOMaxiomAXIOM*Axiomatic Architecture Description Language

Try this search on Wikipedia, OneLook, Google


Loading