Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am wondering if there exists a book that discuss different axiomatizations of set theory and compare them. Can you please give me any references?

share|improve this question
Posts asking for book recommendations (and generally, anything for which a sorted list of alternative answers is needed, rather than a single definitive answer) should be "community wiki". I've done made the requisite change here. –  Scott Morrison May 9 '12 at 16:09

3 Answers 3

Foundations of Set Theory by Fraenkel, Bar-Hillel and Levy is a classic that provides what it sounds like you're after. It surveys ZF and its milieu, type-theoretic approaches (including Quine's New Foundations, for instance), intuitionism, and more.

Though I don't know your exact goal, or how specifically your interest is tied to set theory as opposed to, say, somewhat broader foundations of math concerns, you might find Steve Awodey's "From Sets to Types to Categories to Sets" to be useful. It is a short, focused and enlightening look at these prominent approaches to foundations in relation to one another, and it offers a nicely ecumenical account. E.g. this passage from the concluding section:

the objects of type theory and set theory are structured by the operations of their respective systems in certain ways that are not mathematically salient. That additional information is essentially what is lost by our comparisons ... Categorical structure is closer to the mathematical content, and it is not lost in translation. ... The structural approach implemented by category theory is thus more stable, more robust, more invariant than type or set theoretic constructions. On the other hand, type and set theory have certain distinctive advantages as well. ...
share|improve this answer

If Ed Dean's suggestion ("Foundations of Set Theory" by Fraenkel, Bar-Hillel and Levy) is to heavy for you, have a look at "Intermediate Set Theory" by Drake and Singh. One chapter describes/discusses several different axiomatizations (Zermelo-Fraenkel, Neumann-Bernays-Gödel, Morse-Kelly, Montague-Scott, Quine, Ackermann).

share|improve this answer

And if you happen to be (able to read) Czech try Sochor's Metamatematika Teorii Mnozin

share|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.