axiom

Từ điển Máy Tính - Foldoc Dictionary

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