Мультивселенная (теория множеств)

• Мультивселенная в теории множеств

  • Мультивселенная предполагает множество моделей теории множеств без “абсолютной” или “истинной” модели. 
  • Различные модели теории множеств считаются одинаково верными, хотя некоторые могут быть более полезными. 

• Универсальная точка зрения

  • Универсальная точка зрения предполагает, что все множества содержатся в одной конечной модели. 

• Гипервселенная и ZFC

  • Гипервселенная – это совокупность счетных транзитивных моделей ZFC в некоторой вселенной. 

• Отношение к гипотезе континуума

  • С точки зрения мультивселенной, вопрос о гипотезе континуума не имеет смысла до выбора модели теории множеств. 
  • С точки зрения Вселенной, гипотеза континуума является значимым вопросом, который либо истинен, либо ложен. 

• Различия в утверждениях

  • Утверждение о том, что для каждой транзитивной модели ZFC существует более крупная модель, в которой она является счетной, верно в мультивселенной, но ложно в Вселенной. 

• Рекомендации по редактированию

  • Статья является заглушкой и просит помощи в расширении.