Рассмотрим высказывание Тº{то, что я скажу, ложь}. Зададимся вопросом, истинно это утверждение или ложно? Если Т истинно, то по своему смыслу оно ложно. Если Т ложно, то отрицание лжи есть истинно. Таким образом, Т не является ни истинным, ни ложным. В чем суть противоречия?
Рассмотрим утверждение “Т” как аксиому и рассмотрим существование реализации R(T) мыслимой модели с аксиомой Т. Реализация есть пустое множество. В противном случае на этой реализации мы имеем некоторое свойство с его отрицанием. Поэтому не существует изоморфизма мыслимой модели Т ни на какую реализацию R(T).
Утверждение такого типа, когда мыслимые модели не имеют реальных моделей, можно называть бессмысленными.