Teoría de Conjuntos de Cantor e Hipótesis del Continuo
1966·no ficcion
Presenta el método de 'forcing' desarrollado por Cohen para demostrar la independencia de la hipótesis del continuo y el axioma de elección respecto a los axiomas de Zermelo-Fraenkel para la teoría de conjuntos.
