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

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