Axiom

An axiom, postulate, or assumption is a statement that we take to be true. It helps us start thinking and arguing about ideas. The word comes from the Ancient Greek word ἁξίωμα, meaning something that seems right or clear.

In different areas, the meaning of an axiom can change. In classical philosophy, an axiom is something so evident that people accept it without asking questions. In modern logic, an axiom is just a starting point for thinking.

In mathematics, an axiom can be a "logical axiom" or a "non-logical axiom". Logical axioms are always true in the logic system they use. Non-logical axioms are special ideas about math topics, like saying a + 0 = a when we talk about whole numbers. We can also call these "postulates," "assumptions," or "proper axioms." Using axioms helps us build knowledge from a few clear starting points.

Etymology

The word axiom comes from the Ancient Greek word ἀξίωμα (axíōma), meaning "to deem worthy" or "to require." Ancient Greek philosophers and mathematicians used axioms as statements that were clearly true and did not need proof. They were like the basic ideas that many areas of study shared.

The word postulate means to "demand." For example, the mathematician Euclid asked people to accept certain ideas, like the idea that any two points can be connected by a straight line. Some ancient mathematicians, like Proclus, thought there was a difference between axioms and postulates, but others, like Boethius, used the words in different ways.

Historical development

The ancient Greeks created a way to make conclusions from basic ideas. They thought some ideas, called axioms, were true without needing proof. For example, they believed it was obvious that equal things subtracted from equals would leave equals.

Euclid, a Greek mathematician, wrote about these ideas in his book Elements. He talked about things like drawing a straight line between any two points, and that all right angles are equal. Over time, mathematicians started to think about these ideas in more general ways. This helped math become useful in many different areas. Today, axioms are like rules that start a system, and mathematicians see what can be made from these rules.

Mathematical logic

In mathematical logic, axioms are statements we accept as true without needing to prove them. They are the starting points for building more complex ideas and theories.

There are two main types of axioms: logical and non-logical.

Logical axioms are rules that work for all areas of mathematics. For example, in propositional logic, one rule says that if one statement leads to another, and that second statement leads back to the first, then both statements must be true. These axioms help us understand how to reason and prove things in mathematics.

Non-logical axioms are specific to certain areas of mathematics. For example, the Peano axioms describe the basic ideas about numbers, and Euclid’s postulates describe the rules of geometry. These axioms help define what is special about different parts of mathematics.