Аксиома ограничения размера

Аксиома ограничения размера Аксиома выбора утверждает, что для любого множества существует выборка, содержащая не менее одного элемента из каждого непустого […]

Аксиома ограничения размера

  • Аксиома выбора утверждает, что для любого множества существует выборка, содержащая не менее одного элемента из каждого непустого подмножества. 
  • Аксиома бесконечности утверждает, что существует бесконечное множество. 
  • Цермело доказал, что некоторые его модели удовлетворяют аксиоме ограничения размера. 
  • Модели Цермело построены в ZFC с использованием кумулятивной иерархии Va. 
  • Теоремы 1 и 2 доказывают, что множество и классы Vk обладают хорошей упорядоченностью и имеют мощность, равную ω. 
  • Доктрина ограничения размера является эвристическим принципом, который используется для обоснования аксиом теории множеств. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

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

Аксиома ограничения размера — Википедия

Оставьте комментарий

Прокрутить вверх