Contents Help Random

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

Nearby terms:

AXIOM ♦ axiom ♦ AXIOM* ♦ Axiomatic Architecture Description Language

Try this search on Wikipedia, Wiktionary, Google, OneLook.

---

---

---

Tweet