Several terms redirect here. For other uses, see Axiom (disambiguation), Axiomatic (disambiguation), and Postulation (algebraic geometry).
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word ἀξίωμα (axíōma), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'.[1][2]
The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question.[3] In modern logic, an axiom is a premise or starting point for reasoning.[4]
In mathematics, an axiom may be a "logical axiom" or a "non-logical axiom". Logical axioms are taken to be true within the system of logic they define and are often shown in symbolic form (e.g., (A and B) implies A), while non-logical axioms are substantive assertions about the elements of the domain of a specific mathematical theory, for example a + 0 = a in integer arithmetic.
Non-logical axioms may also be called "postulates" or "assumptions". In most cases, a non-logical axiom is simply a formal logical expression used in deduction to build a mathematical theory, and might or might not be self-evident in nature (e.g., the parallel postulate in Euclidean geometry). 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), and there are typically many ways to axiomatize a given mathematical domain.
Any axiom is a statement that serves as a starting point from which other statements are logically derived. Whether it is meaningful (and, if so, what it means) for an axiom to be "true" is a subject of debate in the philosophy of mathematics.[5]
^Cf. axiom, n., etymology. Oxford English Dictionary, accessed 2012-04-28.
^Stevenson, Angus; Lindberg, Christine A., eds. (2015). New Oxford American Dictionary (3rd ed.). Oxford University Press. doi:10.1093/acref/9780195392883.001.0001. ISBN 9780199891535. a statement or proposition that is regarded as being established, accepted, or self-evidently true
^"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.
^"A proposition (whether true or false)" axiom, n., definition 2. Oxford English Dictionary Online, accessed 2012-04-28.
^See for example Maddy, Penelope (June 1988). "Believing the Axioms, I". Journal of Symbolic Logic. 53 (2): 481–511. doi:10.2307/2274520. JSTOR 2274520. for a realist view.
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments...
In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection...
Axiom Space, Inc., also known as Axiom Space, is an American privately funded space infrastructure developer headquartered in Houston, Texas. Founded in...
Axiom Mission 2 (or Ax-2) was a private crewed spaceflight operated by Axiom Space. Ax-2 was launched on 21 May 2023 on a SpaceX Falcon 9, successfully...
Axiom of extensionality Axiom of empty set Axiom of pairing Axiom of union Axiom of infinity Axiom schema of replacement Axiom of power set Axiom of...
probability axioms are the foundations of probability theory introduced by Russian mathematician Andrey Kolmogorov in 1933. These axioms remain central...
mathematical logic, the Peano axioms (/piˈɑːnoʊ/, [peˈaːno]), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers...
Axiom Orbital Segment or Axiom Segment (or AxS) are the planned modular components of the International Space Station (ISS) designed by Axiom Space for...
axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension...
The Isuzu Axiom is a mid-size SUV introduced by Isuzu in 2001 for the 2002 model year. The Axiom is derived from the Isuzu Rodeo and was intended to be...
twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly...
In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty...
In mathematics, an axiom of countability is a property of certain mathematical objects that asserts the existence of a countable set with certain properties...
branches of mathematics and philosophy that use it, the axiom of infinity is one of the axioms of Zermelo–Fraenkel set theory. It guarantees the existence...
computer science that use it, the axiom of extensionality, axiom of extension, or axiom of extent, is one of the axioms of Zermelo–Fraenkel set theory....
Axiom Mission 3 (or Ax-3) was a private spaceflight to the International Space Station. The flight launched on 18 January 2024, and lasted for 21 days...
Axiom Mission 1 (or Ax-1) was a privately funded and operated crewed mission to the International Space Station (ISS). The mission was operated by Axiom...
An action axiom is an axiom that embodies a criterion for describing action. Action axioms are of the form "If a condition holds, then the following will...
while the strong axiom imposes conditions on the output. Generalised axiom of revealed preference is a generalisation of the strong axiom of revealed preference...
because it is the fifth postulate in Euclid's Elements, is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: If a...
Axiom Strategies is one of the largest Republican political consulting firms in the United States. Founded in 2005 by Jeff Roe, who has been described...
Axiom Telecom is a technology retailer founded in 1997 by Faisal Al Bannai, with four employees at the start of its operations. Axiom became the official...
Axiom Asia Private Capital is a private equity investment firm, focusing exclusively on the Asia Pacific region. The firm was established in 2006 and...
In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom. An axiom schema is a formula in the metalanguage...