Axiom
An axiom is a foundational statement accepted as true without proof, serving as the starting point from which theorems are derived.
Definition
An axiom is a basic rule that everyone agrees to accept as true without needing proof, the starting point, the ground floor on which all mathematical reasoning is built. Axioms are the unproven assumptions of a formal system, and all theorems are derived from them by logical inference; different axiom sets produce different mathematical systems, such as Euclidean versus non-Euclidean geometry differing by the Parallel Postulate. In modern logic, an axiom is a well-formed formula taken as the starting point of a formal theory; axioms must be consistent, and ideally independent and complete, though Godel showed no sufficiently powerful consistent system can be both complete and provably consistent within itself.
Example
One axiom of geometry states: "Through any two points, there is exactly one straight line," accepted as obviously true and used to prove everything else in geometry. The field axioms, commutativity, associativity, distributivity, identity elements, and inverses, define what a "field" is, from which all properties of real, complex, and rational numbers are derived. The Axiom of Choice (ZFC) is independent of the other ZF axioms: with Choice you get the Banach-Tarski paradox, without it you lose many standard results in analysis.
Key Insight
All of mathematics rests on a small set of agreed-upon axioms; change the axioms, and you can get an entirely different mathematics, as replacing Euclid's Parallel Postulate with alternatives produces hyperbolic or elliptic geometry, each internally consistent and useful in physics (general relativity uses non-Euclidean geometry). The choice of axioms is pragmatic, not arbitrary: mathematicians choose axioms that capture intuitive truths and lead to rich, useful theories, and the resulting mathematics then has consequences its creators never anticipated.