2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Непредикативные определения
Сообщение23.12.2016, 22:03 
Аватара пользователя
Укажите, из какой книги цитата.

 
 
 
 Re: Непредикативные определения
Сообщение24.12.2016, 12:03 
Mikhail_K в сообщении #1179553 писал(а):
Укажите, из какой книги цитата.

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

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

(Оффтоп)

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

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group