What is an axiom in layman's terms?

Question

I tried to explain to my kids what is an axiom in very nontechnical terminology (also known as layman's term) but I could not find anything that they could relate to easily.

Do anyone have a good explanation?

Answer 1

In mathematics, every result known descends from something else: it is proven to be true from other facts.

The one exception is axioms: these things we choose to accept without proving them.

We have to choose some axioms, since we cannot prove anything with nothing, but we try and make them as simple and obvious as possible.

For example, Euclidean geometry rests on five axioms, the first of which is "given two points on a plane, it is always possible to construct a straight line passing through these two points". Another states that it is possible to draw a circle with any center and radius.

Using these simple statements, Euclid then proceeds to prove more complex properties of figures on the plane.

Answer 2

In former times, axioms were considered to be statements that are so simple and "obviously true" that they cannot be proved (or any attempt to prove them would need to be based on more complicated things - and why bother proving it at all if it is obviously true?).

In today's understanding, an axiom is a statement that is, for the sake of developing a specific theory, taken for granted. For example, the axioms of Euklidean geometry (there is exactly one line passing through two given distinct points" and so on) can be used to rigorously prove all theorems of Euklidean geometry. There is but no inherent "truth" to the theory as such. However, if we verify that the axioms of Euklidean geometry hold for some things or phenomena (e.g., for points and lines and drawn on the Earth's surface) then we can be sure that also all theorems (such as Pythagoras) apply to these. But as soon as we notice that "straight lines" on the Earth surface such as meridians are not as parallel as they should be, the Euklidean theory is no longer fully applicable to these phenomena.

Nevertheless, a "good" axiom system is one that allows us to apply it to interesting things. As among those interesting things are the theory of natural numbers, geometry, and set theory, certain axiom systems (Peano, Euklid, Zermelo-Frenkel) relating to these theories have become somewhat standard.

Answer 3

To a mathematician, or a philosopher, in the pre-modern era (and to some crackpots of the modern era) an axiom refers to a truth so basic that it cannot be proved or argued about from other truths. A basic elementary fact to 'obviously' true that the only way to argue about it is to tautologically proclaim "it simply is true!!!". For instance, the fact that addition of natural numbers is commutative, namely that $m+n=n+m$ for all natural numbers $m,n$, might be taken as an example of an axiom in that sense about the natural numbers.

In the modern era, we are no longer obsessed about what things really are (whatever that means) and thus we no longer treat axioms as described above. Instead, we recognise that mathematics is a formal system consisting of a language in which to express yourself, a logical system one uses to manipulate statements, and an initial collection of statements we take to be true since we wish to see what the consequences of the properties expressed by these axioms are. Thus, any statement at all can be taken as one of many axioms. For instance, one may wish to study the natural numbers axiomatically by choosing no axioms at all. Well, without breaking eggs, you can't make an omelette, so all you'll get are tautologies. On the other extreme, you may take as axioms all the statements true about natural numbers. That will be a terrific achievement, but, of course, it is not realistic you can ever list your axioms in this case. The golden path lies in finding a clever, efficient, formulation of properties (of the natural numbers) that you deem to be characteristic, and state those as your axioms. So, in the modern context, the axioms of a system are simply an axiomatic description of some properties of whatever you wanna study (rather than an attempt to describe what things are, we describe what you can do with those things). For the natural numbers, the Peano axioms do the job.

Answer 4

From a mathematical point of view, axioms are the fundamental self-imposed rules of the games which mathematicians play. For example, a considerable part of mathematics deals with structures (think of numbers) for which the rule holds that you can replace $a·b$ with $b·a$. From these fundamental rules, all other rules can be deduced – actually that’s already the actual game: deducing rules from existing rules. For example if you have the rules that $3·4$ can be replaced with $12$ and that $12−7$ can be replaced with $5$, you can deduce the rule that $3·4−7$ can be replaced with $5$.

From a practical point of view, reality also follows certain sets of rules. For example, if we tie two pieces of string together, the length of the resulting string is the same, no matter in which order we tie them together. These sets of rules happen to be the same as those which mathematicians like to play with. In the string example, it corresponds to the rule $a+b=b+a$. Hence, if mathematicians deduce a new rule from the axioms (the fundamental rules), this rule also applies to reality and allows us to make statements about reality. In fact, mathematicians only came up with certain sets of rules because they reflect reality (and they wanted to eat). Sidenote: What makes mathematics so damn useful is that a mathematical set of rules can often be identified with many real sets of rules.

It should be noted that when I was saying “reality follows certain sets of rules”, I should have said: “reality seems to follow certain sets of rules”. We do not actually know that the rules that we assume to be followed by reality actually are followed by reality all the time. We have very good reason to assume so, because we have tested most of them for thousands of years and have not found any counter-examples, but that’s as far as it goes. Mathematicians tend not to worry about this but just assume that the axioms are true. There are two reasons for this:

• Mathematicians do not want to worry about what rules hold for reality. They leave that job to physicists, chemists and other scientists (who are much better at this anyway).

• As already mentioned, a single mathematical axiom can often be applied to many real-life objects, problems, and similar. Thus, whenever mathematicians find a new rule to deduce from axioms, it can be applied to many real-life problems. If mathematicians worried about whether axioms are true in each possible application, they would never get to do any actual mathematics.

Answer 5

layman's terms

Axioms are things you have to assume to get started thinking about something.

Answer 6

My favourite axiom demo is Peano's first which reads Zero is a number.

It is clear and obvious to be true but clearly difficult (pointless?) to prove.

There's also the Reflexive Property which states:

For any quantity a, a = a.

Although this may not (technically) be an axiom it has all the properties

Answer 7

When you want to build a house, you have to put in a foundation first, no matter whether this house is a mansion or a prefab hut.
But what do you put the foundations on? There has to be a building site - some ground that is marked out and fenced off and leveled.
This house is our theorem or lemma; we add wing extensions as a corollary. The foundation is our set of assumptions, the things we need to be true in order for the house to stand up. And the site that the foundations go into/onto, is defined by the axioms we use.

Answer 8

Things whose existence is taken for granted either due to common past experience and practice or a given thing handed down to us and unquestioningly adopted. When questioned, one cannot give a previous basis (blinks, scratches head etc.)

Often the axiom is at a foundational or fundamental level as a sort of primordial premise for consequential if-then common logic of syllogism. When such an axiom is changed and fresh attachments of logic are made with new axioms strange surprising and unexpected experiences and results ensue.

Answer 9

Axioms are rules, and the game is to show what's allowed by the rules.

Just like rules, axioms are true because they we say they are true. Also just like rules, we can impose whatever axioms we want!

In the real world, the rules we follow are generally the ones everyone agrees upon (like not stealing) rather than some ones people make up arbitrarily. Similarly, while mathematicians can impose whatever axioms they want, they often focus on axioms that are agreed upon to be interesting or important in some way, rather than ones that are made up arbitrarily.

Answer 10

In simple terms, an axiom is a statement which is widely recognized to be true. In mathematics this statement is something like the fundamental theorem of algebra, whose validity is is hardly worth questioning.

Answer 11

Mathematicians occupy themselves with questions like 'If fact A is true, what else turns out to be true?'. Once you get started, one fact leads to another and another. However, you have to get started somewhere.

Axioms are the things we assume to be true at the start of a thought process so that we can proceed to explore the consequences of those assumptions.

Examples are:

• Assume that there is an operation called addition such that a + b = b + a for all values of a and b

• Assume that there is a special number called 0 such that a + 0 = a for all values of a