Axiom




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

Compare: lemma.



< Previous Terms Terms Containing axiom Next Terms >
AWG
awk
AWT
aXe
AXIOM
 A#
AADL
aleph 0
AXIOM
AXIOM*
 AXIOM*
Axiomatic Architecture Description Language
axiomatic semantics
axiomatic set theory
Axiom of Choice