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

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

Садовник
По Универсуму/Абсолюту.
Для Теории множеств (подчёркиваю, именно для Теории множеств), например, Универсум (У) можно ввести следующим образом:
У = А+_А = В+_В = С+_С..., где + -- объединение множеств (набор символов здесь ограничен), _А -- то, что не вошло в А
А<>_А
А=_(_А)
------
В общем-то это ни чем не отличается от аксиом логики.
----------
Для других наук, областей знаний Универсум может вводиться иначе.
Например, для материалистов -- материя. и т.д.

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