Непредикативные определения

[Sinoid]

Здравствуйте!

Скажите, пожалуйста, вот после помещения множества $T$ обратно становится $T \in M-T$. А где тут непредикативность? Вот когда читаю пример здесь, все ясно: до включения верхней границы множества в множество как элемента еще не определено само это множества и, значит, у него не может быть верхней границы. А вот тут что-то не могу сообразить. Подскажите, пожалуйста.

[Mikhail_K]

Укажите, из какой книги цитата.

[Sinoid]

Mikhail_K в сообщении #1179553 писал(а):

Укажите, из какой книги цитата.

Клини С.К. Введение в метаматематику 1957 г., стр. 44.

[Sinoid]

Например, вот этот пример из той же книги:

Тут множество $\mathbf{\mathsf{C}}$ определяется через множества, принадлежащие определяемому множеству $\mathbf{\mathsf{C}}$ и непредикативный характер определения налицо. Но почему непредикативно определение множества $T$ ? Думаю-думаю, ничего в голову не приходит.

(Оффтоп)

все мозги разбил на части, все извилины заплел.