Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an …