Difference between revisions of "Axiom"
Karl Jones (Talk | contribs) (→External links) |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 42: | Line 42: | ||
* [[Arithmetic]] | * [[Arithmetic]] | ||
* [[Axiomatic system]] | * [[Axiomatic system]] | ||
| + | * [[First principle]] | ||
* [[Foundations of mathematics]] | * [[Foundations of mathematics]] | ||
* [[Logic]] | * [[Logic]] | ||
Latest revision as of 09:10, 16 October 2016
An axiom or postulate is a premise or starting point of reasoning.
Contents
Description
As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy.
The word comes from the Greek axíōma (ἀξίωμα) '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 and truth
What it means for an axiom, or any mathematical statement, to be "true" is a central question in the philosophy of mathematics, with modern mathematicians holding a multitude of different opinions.
Mathematics
In mathematics, the term axiom is used in two related but distinguishable senses:
Logical axioms are usually statements that are taken to be true within the system of logic they define (e.g., (A and B) implies A)
Non-logical axioms (e.g., a + b = b + a) are actually substantive assertions about the elements of 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.
As modern mathematics admits multiple, equally "true" systems of logic, precisely the same thing must be said for logical axioms -- they both define and are specific to the particular system of logic that is being invoked.
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.
In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived.
Axioms are starting points
Within the system they define, 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.
However, an axiom in one system may be a theorem in another, and vice versa.
See also
- Arithmetic
- Axiomatic system
- First principle
- Foundations of mathematics
- Logic
- Mathematical theory
- Mathematics
- Philosophy of mathematics
- Statement (mathematics)
External links
- Axiom @ Wikipedia
