При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т. В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Гёделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля — Мостовского. Книга не требует предварительных знаний аксиоматической теории множеств и доступна широкому кругу математиков. д. 2012. Воспроизведено в оригинальной авторской орфографии издания 1973 года (издательство "Мир").