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 |
