Axiom

An axiom is a statement accepted as true without proof, serving as a foundational assumption from which other truths are derived. Axioms are the bedrock of Mathematical logic and formal systems: they're propositions so basic or self-evident that they require no justification within their domain.

The concept has ancient roots—Euclid built geometry on a small set of axioms—but gained modern rigor through mathematical structures like Metric spaces and formal logic. An axiom differs from a Theorem (which must be proven) and a Hypothesis (which is tested). Different axiomatic systems can coexist; choosing which axioms to adopt shapes which truths follow.

Famous examples include the axioms of Addition and multiplication in arithmetic, the axioms of set theory, and the parallel postulate in geometry. Changing a single axiom can generate entirely new mathematical worlds—non-Euclidean geometries famously arose this way.

Axioms aren't "true" in some cosmic sense; they're pragmatic choices. A good axiomatic system is consistent (free from contradictions), independent (no axiom follows from others), and fruitful (yielding interesting theorems). The search for irreducible foundations underlies debates in Mathematical logic about what mathematics truly rests upon.

Related

Theorem, Proof (mathematics), Set theory, Formal system, Euclid, Consistency (logic)