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

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

Аксиома спаривания

  • Аксиома спаривания в теории множеств Цермело-Френкеля утверждает, что для любых двух множеств существует множество, содержащее их элементы. 
  • Аксиома спаривания может быть выведена из схемы аксиом замены или других аксиом. 
  • Существует слабая аксиома сопряжения, которая подразумевает, что любые два объекта являются членами некоторого множества. 
  • Аксиома спаривания может быть обобщена до схемы, включающей различные операторы для каждого натурального числа n. 
  • Обычно аксиомы пустого множества и спаривания используются отдельно и доказываются в виде схемы теоремы. 

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

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

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

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