AXIOM


Meaning of AXIOM in English

< logic > A well-formed formula which is taken to be true without proof in the construction of a theory .

Compare: lemma .

(1995-03-31)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.