Axiom

From Simple English Wikipedia, the free encyclopedia

An Axiom is a statement of logic. In a system, it is usually taken as being true. It does not need to be proven.

Logic then deduces other theorems from the axioms.