Axiom

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).^[1] The axiom is to be used as the premise or starting point for further reasoning or arguments,^[2] usually in logic or in mathematics.^[3][4]

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.

1. ↑ "The Definitive Glossary of Higher Mathematical Jargon". Math Vault. 2019-08-01. Retrieved 2020-10-08.
2. ↑ "A proposition that commends itself to general acceptance; a well-established or universally conceded principle; a maxim, rule, law" axiom, n., definition 1a. Oxford English Dictionary Online, accessed 2012-04-28. Cf. Aristotle, Posterior Analytics I.2.72a18-b4.
3. ↑ In logic and philosophy, axioms are propositions rather than statements. See the page "proposition".
4. ↑ "Definition of AXIOM". www.merriam-webster.com. Retrieved 2020-10-08.