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.
Category: Mathematics