Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to... This description may be from another edition of this product.