"This Dover edition, first published in 2008, is an unabridged republication of the work first published by W.A. Benjamin, Inc., in 1966, and includes a new introduction by Martin Davis."

General background in logic --
Zermelo-Fraenkel set theory --
The consistency of the continuum hypothesis and the axiom of choice --
The independence of the continuum hypothesis and the axiom of choice.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The independence of the continuum hypothesis is the focus of this study by Paul J. Cohen. It presents not only an accessible technical explanation of the author's landmark proof but also a fine introduction to mathematical logic. An emeritus professor of mathematics at Stanford University, Dr. Cohen won two of the most prestigious awards in mathematics: in 1964, he was awarded the American Mathematical Society's Bôcher Prize for analysis; and in 1966, he received the Fields Medal for Logic. In this volume, the distinguished mathematician offers an exposition of set theory and the continuum hypothesis that employs intuitive explanations as well as detailed proofs. The self-contained treatment includes background material in logic and axiomatic set theory as well as an account of Kurt Gödel's proof of the consistency of the continuum hypothesis. An invaluable reference book for mathematicians and mathematical theorists, this text is suitable for graduate and postgraduate students and is rich with hints and ideas that will lead readers to further work in mathematical logic