Every logical system has to start somewhere. An axiom is a statement taken as true without proof, serving as a starting point for deriving other results. Axioms are not arbitrary; they are chosen because they seem self-evident, useful, or fruitful for building a consistent theory.

Euclid's five postulates for geometry are the classic example. For centuries they were treated as obvious truths about physical space. When mathematicians questioned the parallel postulate, non-Euclidean geometries emerged, showing that axioms are assumptions, not absolute facts. Modern mathematics often uses the term axiom more loosely, referring to any statement accepted within a formal system.

Set theory has its own axioms, such as the axiom of choice, which remains controversial among some mathematicians. In practice, axioms define the rules of the game. Change them and you get a different game, sometimes with surprising and useful results.

• Statement accepted without proof
• Starting point for logical deduction
• Euclid's postulates are the classic example
• Different axiom sets yield different mathematical systems