Вселенная (математика)

Вселенная – это множество объектов, на которых выполняются определенные операции.
В математике, вселенная может быть универсумом, который содержит все изучаемые множества.
Существует несколько подходов к вселенным, включая модель теории множеств Цермело и вселенную Гротендика.
В исчислении предикатов, область дискурса определяет, какие пропозиции являются истинными.
В теории категорий, вселенная Гротендика используется для выполнения обычных операций теории множеств.
В теориях типов, типы могут рассматриваться как термины, и существуют различные типы вселенных.
Вселенные типов инкапсулируют неформальное понятие отражения и расширяют формализацию теории типов.

Полный текст статьи:

Вселенная (математика) — Википедия, бесплатная энциклопедия