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