"Set theory. Boolean-valued models and independence proofs" - читать интересную книгу автора (John L. Bell)