This monograph investigates the independence of the continuum hypothesis and the axiom of choice through the application of Boolean-valued models. John L. Bell, a recognized authority in mathematical logic, provides a rigorous exposition of these foundational results. The text serves as an updated framework for understanding the consistency and independence proofs that defined 20th-century set theory, integrating advanced logical structures with pedagogical clarity for academic researchers.

Experts identify this work as a foundational text for graduate students and researchers in mathematical logic and philosophy. Readers frequently note the high level of technical density, which requires a strong background in formal logic to fully grasp the presented proofs.