О, сколько нам открытий чудных

Парадокс Рассела является следствием проблемы определения понятия "множества всех множеств" в математической теории множеств. В формулировке Рассела парадокс выглядет так: "Пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие.

Тут я попытался сделать предварительный итог дискуссии начатой в теме "Отсылаю Болдачева к его контрадикции - к брадобрею".