Теория множеств Цермело–Френкеля
- Теория множеств — раздел математики, изучающий свойства множеств и их отношений.
- Аксиомы теории множеств являются основными утверждениями, которые определяют множество и его свойства.
- Аксиоматическая схема спецификации создает подмножества, используя нотацию set builder.
- Аксиома спецификации аксиом создает только подмножества и не допускает создания объектов более общей формы.
- Аксиома спаривания утверждает, что существует множество, содержащее два заданных множества.
- Аксиома объединения утверждает, что для любого множества множеств существует множество, содержащее каждый элемент, который является членом некоторого элемента множества.
- Схема замены аксиом утверждает, что изображение множества при любой определяемой функции также будет находиться внутри множества.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: