Объекты, с которыми работает математика: числа, функции, последовательности, уравнения, геометрические фигуры – все представляются с помощью множеств. В данной главе обсуждаются логические проблемы, связанные с понятием множества, и предлагается способ разрешения этих проблем на основе системы аксиом Цермело и Френкеля, позволяющей дать конструктивное определение множества. Вводятся основные определения, необходимые для изложения математической логики.

Рекомендуемая литература: /6, 7, 9, 11, 18 / .