Универсальное множество

---

Универса́льное мно́жество — в математике множество, содержащее все объекты и все множества. В тех аксиоматиках, в которых универсальное множество существует, оно единственно.

Универсальное множество обычно обозначается ${\displaystyle \mathbb {U} }$ (от англ. universe, universal set), реже ${\displaystyle \mathbb {E} }$.

В аксиоматике Цермело — Френкеля парадокс Рассела со схемой выделения и парадокс Кантора показывают, что предположение о существовании такого множества ведёт к противоречию.

В аксиоматике фон Неймана — Бернайса — Гёделя существует универсальный класс — класс всех множеств, но множеством он не является. Класс всех множеств является классом объектов категории Set.

В некоторых аксиоматиках существует универсальное множество, но при этом схема выделения не выполняется. Примером является теория New Foundations^[en] У. В. О. Куайна.

Также универсальным множеством называют множество объектов, рассматриваемых в каком-либо разделе математики. Для элементарной арифметики универсальным множеством является множество целых чисел, для аналитической геометрии плоскости универсальным множеством является множество всех упорядоченных пар действительных чисел^[1].

---