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, and equivalent to what Aristotle calls a definition. 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).

Verge and similar may refer to: