Axiom
Axiom
A statement accepted as true without proof. An axiom should be so simple and direct that it is unquestionably true.
See also
Example
Problem: Show how an axiom is used as a starting point to prove a simple result. Using the axioms that (1) things equal to the same thing are equal to each other, and (2) if equals are added to equals, the results are equal, prove that if a = 3 and b = 3, then a + 5 = b + 5.
Step 1: State what is given: a = 3 and b = 3.
a=3,b=3
Step 2: Apply Axiom 1 — things equal to the same thing are equal to each other. Since a and b both equal 3, we conclude:
a=b
Step 3: Apply Axiom 2 — if equals are added to equals, the results are equal. Add 5 to both sides:
a+5=b+5
Answer: Using two axioms as accepted truths, we proved that a + 5 = b + 5. The axioms themselves were never proved — they were the foundation the proof relied on.
Another Example
Problem: Identify which of the following are axioms and which are theorems: (A) Through any two distinct points, exactly one straight line can be drawn. (B) The sum of the angles in a triangle is 180°.
Step 1: Consider statement (A). This is one of Euclid's postulates (axioms) of geometry. It is accepted as true without proof because it describes a basic, self-evident property of points and lines.
Step 2: Consider statement (B). This is a theorem. It is not assumed — it is proved using Euclid's axioms and earlier results. The proof depends on properties of parallel lines, which themselves trace back to axioms.
Answer: Statement (A) is an axiom (accepted without proof). Statement (B) is a theorem (proved from axioms).
Frequently Asked Questions
What is the difference between an axiom and a theorem?
An axiom is accepted as true without proof; it is a starting assumption. A theorem is a statement that must be proved using axioms, definitions, and previously established results. Every theorem ultimately traces its justification back to axioms.
Can an axiom be wrong?
Axioms are not "true" or "false" in an absolute sense — they are chosen assumptions that define a mathematical system. Different sets of axioms lead to different but internally consistent systems. For example, changing Euclid's parallel postulate leads to non-Euclidean geometry, which is perfectly valid and even describes the geometry of our universe at large scales.
Axiom vs. Theorem
An axiom requires no proof and is assumed; a theorem requires a logical proof built upon axioms and other established results. Axioms are the foundation; theorems are what you build on top of it.
Why It Matters
Axioms are the bedrock of all mathematics. Without agreed-upon starting assumptions, there would be no way to prove anything — every proof would require another proof before it, leading to an infinite chain. By establishing a small set of axioms, mathematicians create entire fields: Euclid's five postulates generate all of classical geometry, and the Peano axioms define the natural numbers and arithmetic you use every day.
Common Mistakes
Mistake: Thinking axioms are "proved facts" that someone demonstrated long ago.
Correction: Axioms are deliberately chosen assumptions, not conclusions. They are the starting rules of a mathematical system. Nothing within that system proves them — everything else is proved from them.
Mistake: Believing there is only one correct set of axioms.
Correction: Different sets of axioms produce different mathematical systems, all of which can be internally consistent. Euclidean and non-Euclidean geometries, for instance, differ only in one axiom about parallel lines, yet both are logically valid frameworks.
Related Terms
- Postulate — Synonym for axiom, especially in geometry
- Theorem — A statement proved from axioms
- Lemma — A helper theorem used to prove larger results
- Corollary — A result that follows directly from a theorem
- Proof — Logical argument that establishes a theorem from axioms
- Deductive Reasoning — The logical method used to derive theorems from axioms