Keith J. Devlin

This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of the “naive” set theory, it develops the Zermelo-Fraenkel axioms of the theory before discussing the ordinal and cardinal numbers. It then delves into contemporary set theory, covering such topics as the Borel hierarchy and Lebesgue measure. A final chapter presents an alternative conception of set theory useful in computer science.