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

В пособии, написанном на основе лекций, читаемых автором на механико-математическом факультете МГУ, достаточно полно и доступно для начинающих изложена канторовская теория множеств. Цель книги — научить практической работе с множествами. Приведены основные факты арифметики кардинальных чисел, важнейшие теоремы о вполне упорядоченных множествах и ординалах, дано введение в комбинаторную теорию множеств, имеющую глубокие применения. Изложение сопровождается большим количеством задач. Для студентов математических специальностей вузов, а также для широкого круга читателей, интересующихся основами математики.