Аксиома набора мощности

Аксиома набора степеней Аксиома степенного множества является одной из аксиом аксиоматической теории множеств Цермело-Френкеля.  Она гарантирует существование множества, содержащего все […]

Аксиома набора степеней

  • Аксиома степенного множества является одной из аксиом аксиоматической теории множеств Цермело-Френкеля. 
  • Она гарантирует существование множества, содержащего все подмножества, которые существуют. 
  • Аксиома расширяемости утверждает, что множество P(x) уникально. 
  • Отношение подмножества ⊆ определяется в терминах установленного членства, ∈. 
  • Аксиома степенного множества позволяет определить декартово произведение двух множеств. 
  • Не все мыслимые подмножества гарантировано существуют, и в других моделях теории множеств ZF могут содержаться множества, которые не являются конструктивными. 

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

Аксиома набора мощности — Википедия

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

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