"Set Theory Boolean-Valued Models and Independence Proofs" - читать интересную книгу автора (J.L. Bell)