From Wikipedia, the free encyclopedia

The term postulate, or axiom, indicates a starting assumption from which other statements are logically derived. It does not have to be self-evident (say, constancy of speed of light is not self-evident). Some axioms are experimental facts, but some are just assumptions not based on anything.

Obviously a chain of logical or mathematical derivations with no beginning is not possible (it would be infinite or circular otherwise). Some initial statements not following from anything (or brought from other fields - say, from experiment) thus are needed to build a logical or mathematical system - and they are called axioms and postulates.

Postulates and axioms do not have to be self-evident or intuitively correct, or majority approved. For example, second postulate of special relativity - constancy of speed of light - is not self evident nor intuitively correct, and when first proposed by Einstein was contrary to majority's opinion.

Contents 1 Postulate vs. Axiom 2 Characteristics 3 Limitations 4 See also

The terms “postulate” and “axiom” are frequently used interchangeably as synonyms for each other (although there is a modern tendency to avoid using the word axiom, replacing it with property or postulate). But there is a difference in connotation that gives a shade of exactness to the definitions.

The term "axiom" has been applied historically to those statements that are applicable to a variety of fields of knowledge; for example: equivalence properties (reflexive, symmetric, and transitive); properties of equality and inequality (addition, subtraction, division, multiplication, and substitution); the whole is equal to the sum of its parts and is greater than any of its parts; etc. The general applicability of these properties to a wide variety of fields is obvious.

On the other hand, postulates apply to one, more specific field of knowledge. Probably the most famous set of postulates is Euclid's five postulates of plane geometry:

1. Two points determine a line.
2. Any line segment can be extended in a straight line as far as desired, in either direction.
3. Given any length and any point, a circle can be drawn having the length as radius and that point as center.
4. All right angles are congruent.
5. Parallel postulate. If two lines intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side, if extended far enough.

A set of postulates should have several characteristics.

1. They should be self-evident and easily understood, involving as few undefined terms as possible.
2. They should be as few in number as possible.
3. The set should show consistency. A set of postulates is consistent if all the postulates (and the theorems derived from them) lead to no contradictions.
4. The set should show independence. A postulate is independent if no one of them can be shown to be a consequence of any of the other postulates – postulates are not provable.

One should keep in mind that the discovery of postulates is based on what man sees as common sense, and that postulates are dependent on the limitations and fallibilities of man's senses, reasoning, and imagination. A mathematical or logical system will be defined by the set of postulates used. For example, several different (but entirely consistent) systems of geometry have been created using different sets of postulates. Variations of Euclid’s Parallel Postulate have given rise to such systems as Euclidean, Hyperbolic, or Elliptic geometries.

• Assertion
• Assumption
• Conjecture
• Corollary
• Guessology
• Lemma
• Porism
• Premise
• Proposition
• Scholium
• Theorem