Axiom
A foundational statement accepted as true without proof.
Wikipedia / Wikimedia Commons
An axiom is a statement accepted as true to serve as a foundation for further reasoning. The word comes from the Ancient Greek *axíōma*, meaning "that which is thought worthy or fit" or "that which commends itself as evident." Its exact meaning shifts depending on the field. In classical philosophy, an axiom is so obvious or well-established that it is accepted without debate. In modern logic, it is simply a premise or starting point for argument.
In mathematics, axioms fall into two categories: logical and non-logical. Logical axioms are considered true within the logical system they define and are often expressed symbolically—for example, "(A and B) implies A." Non-logical axioms are substantive claims about the elements of a specific mathematical theory, such as "a + 0 = a" in integer arithmetic. These may also be called postulates, assumptions, or proper axioms. Typically, a non-logical axiom is a formal logical expression used in deduction to build a mathematical theory, and it may or may not be self-evident—the parallel postulate in Euclidean geometry is a classic example. To axiomatize a system of knowledge means to show that all its claims can be derived from a small, well-understood set of axioms, and there are usually many ways to axiomatize a given domain. Whether an axiom can be considered "true" in any meaningful sense is a debated topic in the philosophy of mathematics.
**Etymology**
The word *axiom* derives from the Greek *axíōma*, a verbal noun from *axioein* ("to deem worthy" or "to require"), which itself comes from *áxios* ("being in balance," thus "having the same value," "worthy," "proper"). For ancient Greek philosophers and mathematicians, axioms were immediately evident propositions, foundational and common to many fields, accepted as self-evidently true without proof. The root meaning of *postulate* is "to demand"—for instance, Euclid demands agreement that certain constructions are possible, such as joining any two points with a straight line. Ancient geometers sometimes distinguished axioms from postulates. Proclus, commenting on Euclid, notes that Geminus believed the fourth postulate should be an axiom rather than a postulate, since it asserts an essential property rather than the possibility of a construction. Boethius translated *postulate* as *petitio* and called axioms *notiones communes*, though later manuscripts did not
- field
- Philosophy, mathematics, logic
- known_for
- Foundational premise for deductive reasoning and mathematical theories
- etymology
- From Greek ἀξίωμα (axíōma), from ἀξιόειν (axioein) 'to deem worthy'
Lore & Background
In ancient Greek philosophy and mathematics, axioms were taken to be immediately evident propositions, foundational and common to many fields of investigation, and self-evidently true without any further argument or proof. The logico-deductive method, whereby conclusions follow from premises through sound arguments, was developed by the ancient Greeks and became the core principle of modern mathematics. Aristotle's Posterior Analytics is a definitive exposition of the classical view, where axioms were self-evident assumptions common to many sciences, while postulates were hypotheses specific to a particular science, their validity established by real-world experience.
Reader's Guide
The concept of an axiom has evolved significantly from ancient to modern times. In classical thought, as exemplified by Euclid's Elements, axioms (or 'common notions') were self-evident truths like 'the whole is greater than the part,' while postulates were geometric demands such as the ability to draw a straight line between any two points. Modern mathematics, particularly over the last 150 years, has stripped meaning away from axioms, treating them as purely formal statements within a logical system. This abstraction allows theories like hyperbolic geometry to emerge by discarding Euclid's fifth postulate, and field theory to apply to many different systems. In the modern view, a set of axioms is any collection of formally stated assertions from which other assertions follow by well-defined rules; they should be consistent and non-redundant. The question of whether an axiom can be 'true' remains a subject of debate in the philosophy of mathematics.
Did You Know?
- The word 'axiom' comes from the Greek verb ἀξιόειν (axioein), meaning 'to deem worthy' or 'to require.'
- Ancient geometers like Geminus distinguished axioms from postulates, with postulates asserting the possibility of some construction.
- Euclid's parallel postulate, when discarded, leads to hyperbolic geometry, showing postulates can be treated as purely formal statements.
- In modern logic, a set of axioms should be consistent (no contradiction derivable) and non-redundant (no assertion deducible from others).
Frequently Asked Questions
What exactly is an axiom in the context of set theory and foundations?
An axiom is a foundational statement accepted as true without requiring proof, serving as the starting point from which all further reasoning and theorems are built. It is the bedrock upon which an entire mathematical or logical system rests.
Where does the word 'axiom' come from?
The term traces back to the Ancient Greek word axíōma, which carried the sense of something deemed worthy or self-evident. The root verb axioein means 'to deem worthy,' reflecting the original idea that an axiom commends itself as obviously true.
What's the difference between logical and non-logical axioms?
Logical axioms are statements considered true within the formal logical system itself, governing how symbols and inference operate. Non-logical axioms are specific premises about the subject matter—such as the axioms of ZFC set theory—that define the particular structure being studied.
Why are axioms so central to set theory?
Without axioms, there is no fixed ground from which to derive theorems about sets, cardinalities, or infinity. The entire edifice of modern set theory—Zermelo-Fraenkel with or without Choice—stands or falls on which axioms we accept as starting points.
How is an axiom different from a theorem?
An axiom is accepted as true by stipulation and does not need to be proven within the system, whereas a theorem is a statement whose truth must be derived from axioms through valid logical steps. In short, axioms are the premises; theorems are the conclusions you earn from them.
More in Set Theory And Foundations 1-20
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record