This content has been automatically translated from Ukrainian.
Axiom is a foundational statement accepted without proof within a certain theory. Theorems, formulas, and other consequences are derived from axioms, definitions, and rules of logic.
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 straight 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 an axiom to be intuitively obvious 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 foundational positions, after which logical rules 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" applies only 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 foundational position can be the statement:
Through two distinct points, there passes exactly one straight 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, certain 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 similar to 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 derived in a consistent manner.
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 on a given line, only one line can be drawn parallel to the given line.
Mathematicians long tried to derive this position from other axioms. Eventually, it became clear that it could be replaced with another rule while still yielding 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, there are no parallel lines in the conventional sense at all.
This discovery changed the perception of axioms. They ceased to be seen as the only possible obvious truths and began to be regarded as rules that define the properties of a certain mathematical model.
How an Axiom Differs from a Theorem
An axiom is a foundational 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 internal 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 foundational positions have been 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 results will also be equal.
Postulates were considered foundational assumptions of a specific science. The statement about the possibility of drawing a line through two points pertains specifically to geometry, so traditionally it could be called a postulate.
In modern mathematics, this distinction is not always maintained. Both words can denote a foundational position 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 foundational positions are not a random collection of statements. Mathematicians investigate several key 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.
Verifying these properties is sometimes more challenging 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 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 requires no further explanation.
For example:
"For him, it was an axiom that promises must be kept."
"The safety of employees 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 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 foundational rule of a specific system. Another system may rely on a different set of axioms.
Can an Axiom Be Proven?
Within the theory where a 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 foundational assumptions that are tested through observations and experiments.
