Что значит «x ∉ x»? Как может элемент множества не принадлежать самому себе? Что будет представлять собой множество из таких элементов?
Или это требует введения какого-то необычного определения отношения принадлежности?
Самый исчерпывающий ответ: https://ru.wikipedia.org/wiki/Парадокс_Рассела
Всем спасибо за объяснения.