Парадокс Рассела¶

Определение. Рассмотрим R = {x : x ∉ x}. Вопрос «R ∈ R?» ведёт к противоречию в обе стороны. Показал, что наивное определение множества («любая совокупность по любому свойству») противоречиво, и потребовал аксиоматической теории множеств (ZFC).