Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

axiom

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

Compare: lemma.

(1995-03-31)

 


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

Discover

     more......