Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I here about axioms is set theory and postulates in geometry, but they seem like the same thing. Do the mean the same thing but then are used in different instances or what? Is one word more applicable in one case more than the other. I never hear of axioms in geometry or postulates in set theory. Are axioms more formal and postulates used more informally?

share|improve this question
3  
The singular article that precedes them, as evidenced by your title. –  Michael Joyce Dec 14 '12 at 0:49
1  
It's like the differences between Catherine, Katherine, Kathy, Cathy, Cate, Catie, Katie and Cat. –  user1551 Dec 14 '12 at 1:44

2 Answers 2

up vote 6 down vote accepted

The terms "postulates" and "axioms" can be used interchangeably: just different words referring to the basic assumptions - the "building blocks" taken as given (assumptions about what we take to be true), which together with primitive definitions, form the foundation upon which theorems are proven and theories are built.

The choice to use one particular term rather than the other is largely a function of the historical development of a given branch of math. E.g., geometry has roots in ancient Greece, where "postulate" was the word used by the Pythagoreans, et.al.

So it's largely a matter of history, and context, and the word favored by the mathematicians that introduced or made explicit their "axioms" or "postulates." "Postulate" was once favored over "Axiom", with the development of analytic philosophy, particularly logical positivism, the term "axiom" became the favored term, and its prevalence has persisted since. Perhaps I should be corrected: As Peter Smith points out, it is "more likely" that the "uptake" of the term "axiom" can be attributed to "mathematicians like Hilbert (who talks of axioms of geometry), Zermelo (who talks of axioms of set theory), etc.".

Neither term is more formal than the other. I personally prefer "postulate" over "axiom", since a "postulate" transparently conveys (or connotes - as in connotation) that what we are calling a postulate is "postulated" as a "supposition", from which we agree to work in building theorems or a theory. In contrast, to me, the connotation of an "axiom" is that of a "law" of some sort, which MUST be followed or MUST be true, though it is no stronger than, or different from, a postulate. But again, this is simply a personal observation and preference, and the term "axiom" seems to have more "uptake" at this point in history.

share|improve this answer
    
I'd be interested in evidence that analytic philosophy has much to do with it! Much more likely mathematicians like Hilbert (who talks of axioms of geometry), Zermelo (who talks of axioms of set theory), etc. –  Peter Smith Dec 14 '12 at 8:58
    
Fair enough. My point was that the choice of terms (postulate --> axiom) can be attributed to historical shifts in thought, and the particular term used attributed, in part, to its "uptake" by prominent mathematicians, logicians, set theorists. Your attribution is certainly correct; I overlooked Hilbert altogether! I was thinking of the logical positivists. I've "corrected" my post, attributing to you the more accurate attribution. –  amWhy Dec 14 '12 at 14:30

Same thing, different name. Much like how the axiom of choice is equivalent to Zorn's lemma and to Zermelo's theorem (also known as the Well-ordering principle).

These are just words indicating our basic assumptions of what is true in the universe.


To the edit, I think that axioms just got a better foothold as a term. The Peano Axioms are also known as Peano Postulates; and I have a book written by Tarski (Cardinal Algebras, 1949) in which he begins with Postulates rather than axioms.

share|improve this answer
2  
The story of how I got that book of Tarski is wonderful. I just came to this library operated by the student body where they sold old books that no one would borrow. I saw a book by Tarski and bought it for ~2 EUR. Five years later, it seems this book is going to help me greatly in my Ph.D. –  Asaf Karagila Dec 14 '12 at 0:55

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.