Цитата:
Сообщение от Промузг
У Вас сразу возникает некое множество Б, для которых объединённые А и не-А есть не-Б и эта "дурная" бесконечность разрастается "вширь и вкось". Об этом толкует Садовник.
|
Немного не так.
Объединённые (А и неА)
равны объединённым (Б и неБ), т.е., если брать на физическом языке, объединение
Чего-то и его отрицания
неЧего-то ==
const==Универсум.
Ещё немного человеческого языка: нет А без неА и соответственно есть А --> есть Универсум. И наоборот: есть Универсум, можно найти А, нет Универсума -- прощайте...
-------
Поэтому вопрос: откуда/как "комплектуется" Универсум (из какой бесконечности) -- решён исследователем при первом же выбранном элементе.
Если же ни один исследователь никогда, ни при каких обстоятельствах не может выбрать ни одного элемента, то ... о чём
Теория множеств?