_

Если считать, что речь идет об идеальных лжецах и правдивцах, то просто-напросто идеальный правдивец НИКОГДА не не скажет "я лгу" ПО ОПРЕДЕЛЕНИЮ, которое мы сами задали и не имеем права нарушать ибо это сфера идеального.
В таких приближенных к реальности парадоксах проблема обычно в неточности определений.
А вот с идеальными сущностями рефлективного характера уже совсем не просто справиться...

Рассуждения о некоторых множествах и о парадоксе множеств:

Множесвто, являющееся членом самого себя:

Пример можества которое является членом самого себя: множество "Не Ножей": в него запросто пойдут МЫСЛИ о СТОЛАХ, МЫСЛИ О НОЖАХ, МЫСЛИ НЕ О НОЖАХ, ВЕЛОСИПЕДЫ, Утренние мысли о велосипедах, вечерние мысли о велосипедах, ЗВЕЗДЫ ... САМО ЭТО МНОЖНСТВО, как мысль обо всем этом, и так до бесконечности (a,b,c...n, F(a,b,c...n), F(F(a,b,c...n))...) ибо мыслить (генерировать углы зрения) в идеале можно бесконечно. Это бесконечное множество.

//ПРосто, для себя, замечу, что//
Если пересечь все множества, которые являются членами самих себя, то внутри этого пересечения будут только мысли, и ни одного указателя на объект (имени объекта), а за предедами пересечения останутся какие-то из мыслей и прямые указатели на объекты мира. (то, у чего есть имена...)//

"множество всех множеств" - это такое же рекурсивное бесконечное множество, всегда являющееся членом самого себя (бесконечно растущее, расползающееся).

Раз это множество ВСЕХ множеств, то в нем должны содержатся и множества, НЕ являющиеся членами самого себя.

ПАРАДОКС МНОЖЕСТВА ВСЕХ МНОЖЕСТВ, НЕ ЯВЛЯЮЩИХСЯ ЧЛЕНАМИ САМИХ СЕБЯ (не собственных)
Пусть есть множества A, B, C...
Для каждого множества мы полагаем есть функция , которая подбирает в него
элементы (для удобстава назовем эти функции для A - Fa, для B - Fb и т.д. аналогично )
Функция Fа (х) = true, если выполняется некое условие для отнесения x к A
Функция Fb выбирает элементы для B, и т.д.

Пусть Ne_Sobstvennoe(A)- это функция, говорящая собственное множество или нет. Она зависит от функции, выбирающей в множество элементы.

Ne_Sobstvennoe(A)= true if FA(A)=false.
Ne_Sobstvennoe(A)= false if FA(A)=true.

пусть M - это Множество_всех_не_собственных_множеств:
Функция Fm выбирает элементы для M.
В данном случае, функция Fm идентична функции Ne_Sobstvennoe(M).
Эта функция говорит:
Если Fm(X)=Ne_Sobstvennoe(X)=true, то элемент принадлежит M

Теперь попробуем приминить функцию Ne_Sobstvennoe к самому M.
Как мы описывали ранее, эта функция зависит от функции, выбирающей в множество элементы. У нас в мнлоество M элементы подбирала функция Fm идентичная функции Ne_Sobstvennoe().
Значит мы имеем:
Ne_Sobstvennoe(M)=true if Ne_Sobstvennoe(M)=false
ЗАТЫК.
ЭТА ФУНКЦИЯ НЕ ПРИМЕНИМА ИБО ОНА ИСТИННА КОГДА ОНА ЛОЖНА. !!!

P/S
или это не изгнание, а лишь подтверждение парадокса, что ОН, парадокс есть??)))