Деточка, вижу, что за двадцать страниц темы до тебя так и не дошло элементарное правило формальной логики - для общего утверждения частное подтверждение не значит ничего, а вот частное опровержение опровергает всё утверждение.
Итак, повторяю заданный ранее вопрос: пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Да или нет? Один слив тебе уже был засчитан.