Аксиомой объёмности называется следующее высказывание теории множеств:
![{\displaystyle \forall a_{1}\forall a_{2}\ (\forall b\ (b\in a_{1}\leftrightarrow b\in a_{2})\to a_{1}=a_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19325e8899247f2572046173ff0353f9d378af24)
Если переписать аксиому объёмности в виде
,
тогда названную аксиому можно сформулировать следующим образом:
- «Каковы бы ни были два множества, если каждый элемент 1-го множества принадлежит 2-му множеству, а каждый элемент 2-го множества принадлежит 1-му множеству, тогда первое множество идентично второму множеству.»
Аксиома объёмности выражает достаточное условие равенства двух множеств. Необходимое условие равенства множеств выводится из аксиом предиката
, а именно:
,
, где
— любое математически корректное суждение об
, а
— то же самое суждение, но об
.
Соединяя указанное достаточное условие равенства множеств с аксиомой объёмности, получаем следующий критерий равенства множеств:
![{\displaystyle \forall a_{1}\forall a_{2}\ (a_{1}=a_{2}\leftrightarrow \forall b\ (b\in a_{1}\leftrightarrow b\in a_{2})\ )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da339c73d609a50d88d6bb0c216803d566a2d908)
Указанный критерий равенства множеств не хуже и не лучше других аналогичных критериев, включая:
1) критерий равенства комплексных чисел
,
2) критерий равенства упорядоченных пар
,
3) критерий равенства неупорядоченных пар
,
4) критерий равенства двух последовательностей
.
Из изложенного ясно, что аксиома объёмности является органичной частью аксиоматики теории множеств.
Аксиому объёмности применяют при доказательстве единственности множества, существование которого уже декларировано аксиомой, либо установлено доказательством теоремы.
Примеры
1. Доказательство единственности пустого множества
Существование [по меньшей мере одного] пустого множества декларировано аксиомой
.
Требуется доказать существование не более, чем одного множества
, для которого верно высказывание
.
Иначе говоря, требуется доказать
![{\displaystyle \exists \{0,1\}a\ (\forall b\ (b\notin a))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9b74982724ddabf59f1bdf88beb900b7e52ed44)
Или, что то же самое, требуется доказать
![{\displaystyle \forall a_{1}\forall a_{2}\ (\forall b(b\notin a_{1})\ \land \ \forall b(b\notin a_{2})\to a_{1}=a_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cdb953e3aac5d706496ddf4388aa15686e25176)
Доказательство
![{\displaystyle {\begin{aligned}\forall b(b\notin a_{1})\ \land \ \forall b(b\notin a_{2})\Leftrightarrow \forall b(b\notin a_{1}\ \land \ b\notin a_{2})\Rightarrow \forall b(b\notin a_{1}\leftrightarrow b\notin a_{2})\\\ \Leftrightarrow \forall b(b\in a_{1}\leftrightarrow b\in a_{2})\Rightarrow a_{1}=a_{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b956fd8bcc3ecfe00160ccb57bdbcf45b338fcf0)
Поскольку
, постольку доказательство единственности пустого множества завершено.
2. Доказательство единственности множества подмножеств
Существование [по меньшей мере одного] множества подмножеств декларировано аксиомой
![{\displaystyle \forall a\exists d\forall b\ (b\in d\leftrightarrow b\subseteq a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab0f9a0522e954c82434ac104e2dd43839cbb4f2)
Требуется доказать существование не более, чем одного множества
, для которого верно высказывание
![{\displaystyle \forall b\ (b\in d\leftrightarrow b\subseteq a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49c9f1ddd0915af49ba8616dca0569c9ea5eacce)
Иначе говоря, требуется доказать
![{\displaystyle \exists \{0,1\}d\ (\forall b\ (b\in d\leftrightarrow b\subseteq a))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c61bf7cef27a3d693223881c8d2f0348b731081)
Или, что то же самое, требуется доказать
![{\displaystyle \forall d_{1}\forall d_{2}\ (\forall b\ (b\in d_{1}\leftrightarrow b\subseteq a)\ \land \ \forall b\ (b\in d_{2}\leftrightarrow b\subseteq a)\to d_{1}=d_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8984e79419ebc6161544fff3225bc72fe5ae0637)
Доказательство
![{\displaystyle {\begin{aligned}\forall b(b\in d_{1}\leftrightarrow b\subseteq a)\ \land \ \forall b(b\in d_{2}\leftrightarrow b\subseteq a)\Leftrightarrow \forall b((b\in d_{1}\leftrightarrow b\subseteq a)\ \land \ (b\in d_{2}\leftrightarrow b\subseteq a))\\\ \Rightarrow \forall b(b\in d_{1}\leftrightarrow b\in d_{2})\Rightarrow d_{1}=d_{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa38f0da6380e7bc3629ff8c30b4b07acd9d4f10)
Поскольку
, постольку доказательство единственности множества подмножеств завершено.