[Евгений-Бур]

Сообщение от Промузг

У Вас сразу возникает некое множество Б, для которых объединённые А и не-А есть не-Б и эта "дурная" бесконечность разрастается "вширь и вкось". Об этом толкует Садовник.

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