An **axiom** is a premise or starting point of reasoning. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy. The word comes from the Greek ἀξίωμα 'that which is thought worthy or fit,' or 'that which commends itself as evident.' As used in modern logic, an axiom is simply a premise or starting point for reasoning. Axioms define and delimit the realm of analysis. In other words, an axiom is a logical statement that is assumed to be true. Therefore, its truth is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other (theory and domain dependent) truths. An axiom is defined as a mathematical statement that is accepted as being true without a mathematical proof.

In mathematics, the term *axiom* is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms". In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. Unlike theorems, axioms (unless redundant) cannot be derived by principles of deduction, nor are they demonstrable by mathematical proofs, simply because they are starting points; there is nothing else from which they logically follow (otherwise they would be classified as theorems).

Logical axioms are usually statements that are taken to be universally true (e.g., (*A* and *B*) implies *A*), while non-logical axioms (e.g., *a* + *b* = *b* + *a*) are actually defining properties for the domain of a specific mathematical theory (such as arithmetic). When used in the latter sense, "axiom," "postulate", and "assumption" may be used interchangeably. In general, a non-logical axiom is not a self-evident truth, but rather a formal logical expression used in deduction to build a mathematical theory. To axiomatize a system of knowledge is to show that its claims can be derived from a small, well-understood set of sentences (the axioms). There are typically multiple ways to axiomatize a given mathematical domain.

Read more about Axiom: Etymology, Mathematical Logic

### Other articles related to "axiom, axioms":

**Axiom**- Mathematical Logic - Further Discussion

... In the modern view

**axioms**may be any set of formulas, as long as they are not known to be inconsistent ...

**Axiom**Collection - Release History

...

**Axiom**Collection Illuminations – 1991 –

**Axiom**/ Island, 422-848 958-2 (CD)

**Axiom**Collection II Manifestation – 1993 –

**Axiom**/ Island, 314-514-453-2 (CD)

**Axiom**... Massacre Soup Tabla Beat Science Time Zone Labels Celluloid Records

**Axiom**Innerhythmic Subharmonic Island Records Palm Pictures ...

... equivalent to other forms of the completeness

**axiom**, such as the convergence of Cauchy sequences or the nested intervals theorem ... of the real numbers used in the synthetic approach, the property is usually taken as an

**axiom**for the real numbers (see least upper bound

**axiom**) in a ...

1991

**Axiom**Collection Illuminations – contains "Cosmic Slop" 1993

**Axiom**Collection II Manifestation – contains "Mantra" and "Playin' with Fire" 1995 Axion Funk ...

**Axiom**Of Equity

... The

**Axiom**of Equity was proposed by Samuel Clarke (1675 - 1729), an English philosopher, in the spirit of the ethic of reciprocity ...

### Famous quotes containing the word axiom:

“It is an *axiom* in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”

—Texas Declaration of Independence (March 2, 1836)

““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first *axiom* in Euclid. There is no science which does not begin by requiring you to believe the incredible.””

—Henry Brooks Adams (1838–1918)

“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an *axiom* appears a paradox, or that a sarcasm is converted into a sermonoid.”

—Edgar Allan Poe (1809–1845)