Парадокс Кантора в математической логике заключается в противоречивости существования объекта под названием «Универсум». 1 Это множество, содержащее все множества. 1
Парадокс демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно. 23