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