Definition

A term used in logic and formal systems to refer to a set of basic assumptions or statements that are taken to be true without proof within a specific theory or system. These axioms form the foundation of the theory and all other theorems are derived from them.