This content has been automatically translated from Ukrainian.
Axiom is a foundational statement that is accepted without proof within a certain theory. Further reasoning is built on axioms, definitions, and rules of logic: from them, theorems, formulas, and other consequences are derived.
An axiom is often explained as "an obvious truth that requires no proof," but this definition is not entirely accurate. In modern mathematics, an axiom does not necessarily have to be obvious or describe the surrounding world. Its role is different: it sets the initial rules of a specific system.
For example, in a certain geometric system, one can accept the statement:
Through any two distinct points, there passes exactly one line.
Within such a system, this statement is not proven but used as a basis for proving other geometric properties.
The Origin of the Word "Axiom"
The word comes from the ancient Greek ἀξίωμα — axíōma, which meant "accepted position," "worthy of recognition," or "that which is considered correct."
In ancient mathematics, axioms referred to general statements whose truth seemed obvious. For example: if two quantities equal a third, then they equal each other.
Over time, the meaning of the term changed. Modern mathematics does not require that an axiom be intuitively understandable or unconditionally true. It is more important that it is clearly formulated and can serve as a foundation for a consistent theory.
Why Axioms Are Not Proven
Any mathematical proof must have an initial support. If every statement is proven using a previous one, and the previous one through another, the chain of explanations will never have a beginning.
Axioms stop this infinite regression. They are accepted as starting positions, after which the rules of logic are applied to obtain new statements.
Schematically, the construction of a theory looks like this:
axioms and definitions → logical reasoning → theorems → consequences
The phrase "an axiom requires no proof" only applies within the chosen system. The same statement can be an axiom in one theory and proven as a theorem in another, broader system.
Examples of Axioms
Axioms depend on the field of mathematics and the specific system being used.
In geometry, an example of a starting position can be the statement:
Through two distinct points, there passes exactly one line.
In the arithmetic of natural numbers, Peano's axioms are used. Among them is the position that every natural number has a successor, and different numbers cannot have the same successor.
In set theory, axioms define which sets can be formed and which operations with them are permissible. For example, specific axioms describe the existence of an empty set, the union of sets, or the set of all subsets of a given set.
These examples show that axioms are not always like simple truths of life. Some are intuitively understandable, while others have complex formal formulations.
Axioms in Euclidean Geometry
One of the most famous axiomatic constructions is the geometry presented by the ancient Greek mathematician Euclid in his work "Elements". It relied on definitions, general positions, and postulates from which geometric theorems were consistently derived.
Particular attention over the centuries has been drawn to Euclid's fifth postulate, related to parallel lines. In modern simplified formulation, it states that through a point not lying on a given line, only one line can be drawn parallel to the given one.
Mathematicians long tried to derive this position from other axioms. Eventually, it became clear that it could be replaced with another rule while still obtaining a logically consistent geometry.
This led to the emergence of non-Euclidean geometries. In some of them, through a point outside a line, several lines can be drawn that do not intersect the given one. In others, parallel lines in the usual sense do not exist at all.
This discovery changed the perception of axioms. They ceased to be viewed as the only possible obvious truths and began to be regarded as rules that define the properties of a specific mathematical model.
How an Axiom Differs from a Theorem
An axiom is a starting position, while a theorem is the result of a proof. A theorem is obtained using axioms, definitions, rules of logic, and previously proven statements.
For example, in Euclidean geometry, the statement "the sum of the interior angles of a triangle equals 180 degrees" is a theorem. It depends on the accepted geometric axioms, particularly the rule about parallel lines.
In other geometries, the sum of the angles of a triangle may be less than or greater than 180 degrees. Thus, the result depends on which specific starting positions were accepted.
Axiom and Postulate: Is There a Difference?
The terms "axiom" and "postulate" are often used as synonyms, but historically they had somewhat different meanings.
Axioms referred to general positions applicable to various fields of knowledge. For example: if equal quantities are added to equal quantities, the resulting sums will also be equal.
Postulates were considered the starting assumptions of a specific science. The statement about the possibility of drawing a line through two points pertains specifically to geometry, so it could traditionally be called a postulate.
In modern mathematics, this distinction is not always maintained. Both words can denote a starting position that is accepted without proof. At the same time, the term "postulate" is more frequently encountered in historical descriptions of geometry and in the natural sciences.
What Should Axioms Be Like?
When constructing an axiomatic system, it is important that its starting positions are not a random collection of statements. Mathematicians investigate several fundamental properties of such systems.
Consistency means that from the axioms, one cannot simultaneously derive a certain statement and its negation. A contradictory system loses its value, as any conclusion can be formally proven within it.
Independence of axioms means that none of them can be proven using the others. When one axiom follows from others, it is redundant in the initial set.
Completeness can mean that for every statement of a certain type, the system allows one to determine whether it is true or false. However, not all sufficiently complex mathematical systems can be both complete and consistent.
Checking these properties is sometimes more difficult than proving individual theorems within the system itself.
Can an Axiom Be Wrong?
It is not always appropriate to speak of an axiom as "correct" or "incorrect" without specifying the context. An axiom defines the rules of a system, so mathematicians are primarily interested in what consequences it leads to and whether contradictions arise.
Different systems may contain mutually incompatible axioms and still remain logically consistent. For example, Euclidean and non-Euclidean geometries describe parallel lines differently, but each has its own area of application.
Another question is how well a specific system describes the real world. This is checked not only through logical reasoning but also through observations, measurements, and practical applications of the model.
What Does "Axiom" Mean in Everyday Language?
In everyday speech, an axiom is called a rule or statement that is considered indisputable and does not require further explanation.
For example:
"For him, it was an axiom that promises must be kept."
"The safety of workers must be an axiom for any enterprise."
"In this family, mutual support has always been considered an axiom."
In such sentences, the word is used metaphorically. It emphasizes the speaker's confidence or the importance of a certain principle, but it does not have a strict mathematical meaning.
Calling an opinion an axiom does not yet mean proving its truth. In public discussions, this word is sometimes used as a rhetorical device to present a controversial statement as obvious and indisputable.
Frequently Asked Questions
Is an Axiom an Absolute Truth?
Not necessarily. In modern mathematics, an axiom is a starting rule of a specific system. Another system may rely on a different set of axioms.
Can an Axiom Be Proven?
Within the theory where the statement is an axiom, it is not proven. In another or broader theory, the same position can sometimes be obtained as a theorem.
Can an Axiom Be Changed?
Yes. An axiom can be replaced with another and the new system can be explored. This is how non-Euclidean geometries were created.
Do All Sciences Have Axioms?
Clearly formulated axiomatic systems are most characteristic of mathematics and formal logic. In other sciences, people more often talk about principles, laws, models, or starting assumptions that are tested through observations and experiments.
