# Axiom

statement that is taken to be true

An axiom is a concept in logic. It is a statement which is assumed to be true without question, and which does not require proof. It is also known as a postulate (as in the parallel postulate). The axiom is to be used as the premise or starting point for further reasoning or arguments, usually in logic or in mathematics.

This means it cannot be proved within the discussion of a problem. So inside some discussion, it is thought to be true. There are many reasons why it has no proof. For example,

1. The statement might be obvious. This means most people think it is clearly true. An example of an obvious axiom is the principle of contradiction. It says that a statement and its opposite cannot both be true at the same time and place.
2. The statement is based on physical laws and can easily be observed. An example is Newton's laws of motion. They are easily observed in the physical world.
3. The statement is a proposition. Here, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. This means the emphasis is on what happens if the axiom is true. Whether the proposition is empirically true is not the goal of logic. This is a more modern definition of an axiom.

Logic can be used to find theorems from the axioms. Then those theorems can be used to make more theorems. This is often how math works. Axioms are important because logical arguments start with them.

## Euclid's axioms

Euclid of Alexandria was a Greek mathematician. Around the year 300 BC, he made the earliest list of axioms which we know of. The following are just a few of them:

1. Two numbers that are both the same as a third number are the same number.
2. If A and B are two numbers that are the same, and C and D are also the same, A+C is the same as B+D.
3. If A and B are two numbers that are the same, and C and D are also the same, A-C is the same as B-D.
4. Two shapes that fill exactly the same space are the same shape.
5. If you divide a number by anything more than 1, the quotient (result) will be less than the original number.