[садовник]

Сообщение от Евгений-Бур

???
Это значит отрицание того, что вошло в А?
Это -- первичная аксиома/постулат различения.
-----------
Откуда набрано множество А? В этом Откуда, что-то ещё осталось? Что осталось, то и не вошло.
----------
Коллега, я реально ощущаю, что некоторая аксиоматика явно даётся не легко, если даётся вообще.

Я задал прямой вопрос - актуальная бесконечность вошла в множество А или нет? Что вас тут затруднило?
Вы её отрицаете? Замечательно. Универсум - множество счётных элементов и кроме него ничего нет, по вам. Решите теорему о неполноте Гёделя для этого счётного множества.
И вообще нафиг такая запись множества счётных элементов А + не А? Нафиг, если оно от этого не перестаёт быть счётным и у него ничего, ни одного свойства не меняется.
Ну в детский сад опускаемся? Я понял, что вы хотите сказать. Универсум - это всё, всё, всё, всё, что есть. Ну и чего? Счётное это множество или нет?
Если счётное - теорема Гёделя жёстко ставит его не в Абсолют, а всего лишь в одно из возможных конкретных счётных множеств.
Если не счётное - никаких подмножеств не выделить.