Axiom

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formula adopted as a foundational assumption of a formal system from which further formulas may be derived; axioms serve as primitive truths or starting points for deduction within a specified language and logic.