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

Садовник, Вы изрядно подняли мне настроение. По хорошему)
Не так часто появляется возможность почитать о себе в доброжелательном тоне.
Теперь -- к делу.

Сообщение от садовник

Побалуюсь ещё немного. Как мы уже выяснили, математика - это танец. Потанцуем?

Элементы из неоткуда не берутся. Они задаются априорно. Из актуальной бесконечности, но не в актуальной бесконечности. Из сингулярности - одновременной пустоты (пустого множества) и всего (бесконечного множества). Из иррациональности. По сути - это некоторые аспекты одного и того же.

Вот и отлично. Если эту актуальную бесконечность нельзя больше ни чем, что было бы возможно впоследствии использовать в качестве наполнителя множества, то эта актуальная бесконечность и будет играть роль Универсума в рассматриваемой модели. Если каким-то образом найдётся хотя бы ещё один элемент, который будет использован в качестве наполнителя множества, то к той бесконечности добавим ещё этот один. Универсум станет более полным или совсем полным на текущий момент.