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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

As an undergraduate, I noticed none of my courses in analysis, topology, or algebra require the need to know any set theory beyond naive set theory. My question is is this true for even higher mathematics, or will I need to pick up a book on axiomatic ZFC set theory if I try to become a pure mathematician?

share|cite|improve this question
You need to know some set theory for practically anything in maths, though not necessarily advanced set theory. Nevertheless, this last is part of the ressume of any decently educated mathematician, so... – DonAntonio Feb 3 '13 at 4:32
Most branches of mathematics didn't need any set theory beyond what has been covered in Halmos' "Naive set theory". If you are fluent to the topics there, you don't need to go further at this stage. When you research/study need something beyond that, you can always "upgrade" yourself later. – achille hui Feb 3 '13 at 4:44

Some background: Modern mathematics, being a very young subject, is still heavily influenced by the historical development in the past, say, 400 years. Thus, the standard textbooks mirror to some degree the evolution of mathematics. Such pillars as calculus and linear algebra existed long before logic and set theory (the latter are only about a century old) you hardly see any use of set theory in these subjects. In fact it took some time to identify the ubiquity of the axiom of choice in analysis, not because its difficult to spot, but simply because considerations of the axiom of choice were rather later, well after the calculus was quite well-established.

Without a doubt, if the entire mathematical body of knowledge (including textbooks) were to be re-written things would look quite different than they are today and would probably include some considerations of axiomatics.

Some techniques of logic and set theory (e.g., the compactness theorem and Zorn's Lemma) are in the standrad toolkit of many mathematicians who do not specialize in logic or set theory. Formally speaking, you don't need to have these in your toolkit as well but they do not require a great deal of time to master and not having them is sometimes a pity.

share|cite|improve this answer

Your Answer


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.