Система Цермело — Френкеля

Систе́ма аксио́м Це́рмело — Фре́нкеля (ZF) — наиболее широко используемый вариант аксиоматической теории множеств, являющийся фактическим стандартом для оснований математики. Сформулирована Эрнстом Цермело в 1908 году как средство преодоления парадоксов теории множеств, и уточнена Абрахамом Френкелем в 1921 году.

К этой системе аксиом часто добавляют аксиому выбора, и называют системой Цермело — Френкеля с аксиомой выбора (ZFC, англ. Zermelo—Fraenkel set theory with the axiom of Choice).

Эта система аксиом записана на языке логики первого порядка. Существуют и другие системы; например, система аксиом фон Неймана — Бернайса — Гёделя (NBG) наряду с множествами рассматривает так называемые классы объектов, при этом она равносильна ZF в том смысле, что любая теорема о множествах (то есть не упоминающая о классах), доказуемая в одной системе, также доказуема и в другой.

ОпределениеПравить

Теория множеств Цермело — Френкеля (ZF) — теория первого порядка с равенством с одним двуместным предикатным символом $\in <!--\; \in \; -->$$\in$  и следующими аксиомами:

1. $\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\forall <!--\; \forall \; -->}B(\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->B)\to <!--\; \to \; -->A=B)$$\forall A\forall B\ (\forall b\ (b\in A\leftrightarrow b\in B)\rightarrow A=B)$  — аксиома объёмности (экстенсиональности);
2. $\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\exists <!--\; \exists \; -->}D\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->D\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}a(a\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->a))$$\forall A\ \exists D\ \forall c\ {\bigl (}c\in D\leftrightarrow \exists a\ (a\in A\ \land \ c\in a){\bigr )}$  — аксиома объединения;
3. $\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\exists <!--\; \exists \; -->}B\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->B\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}d(d\in <!--\; \in \; -->b\to <!--\; \to \; -->d\in <!--\; \in \; -->A))$$\forall A\ \exists B\ \forall b\ (b\in B\leftrightarrow \forall d\ {\bigl (}d\in b\rightarrow d\in A{\bigr )})$  — аксиома булеана;
4. $\mathrm{\exists <!--\; \exists \; -->}A\mathrm{\exists <!--\; \exists \; -->}E(\mathrm{\forall <!--\; \forall \; -->}c\mathrm{\neg <!--\; \neg \; -->}(c\in <!--\; \in \; -->E)\wedge <!--\; \wedge \; -->E\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}c((d\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->d=b\vee <!--\; \vee \; -->\mathrm{\forall <!--\; \forall \; -->}a(a\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->a=b))\to <!--\; \to \; -->c\in <!--\; \in \; -->A)))$$\exists A\ \exists E\ {\bigl (}\forall c\ \lnot {\bigl (}c\in E{\bigr )}\land E\in A\ \land \ \forall b\ (b\in A\rightarrow \forall c{\bigl (}{\bigl (}d\in c\leftrightarrow d=b\lor \forall a{\bigl (}a\in d\leftrightarrow a=b{\bigr )}{\bigr )}\rightarrow c\in A){\bigr )}{\bigr )}$  — аксиома бесконечности;
5. $\mathrm{\forall <!--\; \forall \; -->}A(\mathrm{\exists <!--\; \exists \; -->}a(a\in <!--\; \in \; -->A)\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->\mathrm{\neg <!--\; \neg \; -->}(c\in <!--\; \in \; -->A))))$$\forall A\ {\Bigl (}\exists a{\bigl (}a\in A{\bigr )}\rightarrow \exists b\ {\bigl (}b\in A\ \land \ \forall c\ (c\in b\rightarrow \lnot {\bigl (}c\in A){\bigr )}{\bigr )}{\Bigr )}$  — аксиома регулярности;
6. $\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\forall <!--\; \forall \; -->}y\mathrm{\forall <!--\; \forall \; -->}z(\mathrm{\phi <!--\; \phi \; -->}[x,y]\wedge <!--\; \wedge \; -->\mathrm{\phi <!--\; \phi \; -->}[x,z]\to <!--\; \to \; -->y=z)\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\exists <!--\; \exists \; -->}D\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->D\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->\mathrm{\phi <!--\; \phi \; -->}[b,c]))$$\forall x\ \forall y\ \forall z\ {\bigl (}\varphi [x,y]\land \varphi [x,z]\rightarrow y=z{\bigr )}\rightarrow \forall A\ \exists D\ \forall c\ {\bigl (}c\in D\leftrightarrow \exists b\ (b\in A\ \land \ \varphi [b,c]){\bigr )}$  — схема преобразования.

Иногда также к этим аксиомам добавляют следующие:

• $\mathrm{\exists <!--\; \exists \; -->}E\mathrm{\forall <!--\; \forall \; -->}c\mathrm{\neg <!--\; \neg \; -->}(c\in <!--\; \in \; -->E)$$\exists E\ \forall c\ \lnot {\bigl (}c\in E{\bigr )}$  — аксиома пустого множества;
• $\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\exists <!--\; \exists \; -->}C\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->C\leftrightarrow <!--\; \leftrightarrow \; -->(b=a_1\vee <!--\; \vee \; -->b=a_2))$$\forall a_{1}\forall a_{2}\ \exists C\ \forall b\ {\bigl (}b\in C\leftrightarrow (b=a_{1}\ \lor \ b=a_{2}){\bigr )}$  — аксиома пары;
• $\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\exists <!--\; \exists \; -->}C\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->C\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->\mathrm{\phi <!--\; \phi \; -->}[b])$$\forall A\ \exists C\ \forall b\ {\bigl (}b\in C\leftrightarrow b\in A\land \varphi [b]{\bigr )}$  — схема выделения.

Однако эти аксиомы избыточны и могут быть выведены из основных.

Теория множеств Цермело — Френкеля с аксиомой выбора (ZFC) получается из ZF добавлением к списку аксиом ещё одной дополнительной аксиомы, называемой аксиомой выбора:

$\mathrm{\forall <!--\; \forall \; -->}A((\mathrm{\exists <!--\; \exists \; -->}a(a\in <!--\; \in \; -->A)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}a(a\in <!--\; \in \; -->b))\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}{b}_1\mathrm{\forall <!--\; \forall \; -->}{b}_2\mathrm{\forall <!--\; \forall \; -->}c(b_1\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->b_2\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b_1\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b_2\to <!--\; \to \; -->b_1=b_2))\to <!--\; \to \; -->(\mathrm{\exists <!--\; \exists \; -->}D\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}d(d\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->d\in <!--\; \in \; -->D)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}{d}_1\mathrm{\forall <!--\; \forall \; -->}{d}_2(d_1\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->d_2\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->d_1\in <!--\; \in \; -->D\wedge <!--\; \wedge \; -->d_2\in <!--\; \in \; -->D\to <!--\; \to \; -->d_1=d_2))))$$\forall A\ {\bigl (}{\bigl (}\exists a{\bigl (}a\in A{\bigr )}\ \land \ \forall b\ (b\in A\rightarrow \exists a{\bigl (}a\in b{\bigr )}{\bigr )}\ \land \ \forall b_{1}\ \forall b_{2}\ \forall c\ (b_{1}\in A\land b_{2}\in A\land c\in b_{1}\land c\in b_{2}\rightarrow b_{1}=b_{2}{\bigr )}{\bigr )}\rightarrow {\bigl (}\exists D\ \forall b{\bigl (}b\in A\rightarrow \exists d{\bigl (}d\in b\land d\in D{\bigr )}\land \forall d_{1}\ \forall d_{2}\ {\bigl (}d_{1}\in b\land d_{2}\in b\land d_{1}\in D\land d_{2}\in D\rightarrow d_{1}=d_{2}{\bigr )}{\bigr )}{\bigr )}{\bigr )}$  — аксиома выбора

Пояснение к аксиомам ZFCПравить

Аксиомы ZFC включают в себя:

0) группу высказываний о равенстве множеств (аксиома 1),

1) группу высказываний о существовании множеств (аксиомы 0, 6),

2) группу высказываний об образовании множеств из уже имеющихся множеств (аксиомы 2, 3, 4 и схемы 5, 7), в которой можно выделить три подгруппы,

3) группу высказываний об упорядоченности образованных множеств (аксиомы 8, 9).

0. Критерий равенства множеств в ZFCПравить

Следующее высказывание выражает достаточное условие идентичности двух множеств.

Аксиома экстенсиональности (Аксиома объёмности)Править

$\mathrm{\forall <!--\; \forall \; -->}{A}_1\mathrm{\forall <!--\; \forall \; -->}{A}_2(\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A_1\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->A_2)\to <!--\; \to \; -->A_1=A_2)$$\forall A_{1}\forall A_{2}\ (\forall b\ (b\in A_{1}\leftrightarrow b\in A_{2})\to A_{1}=A_{2})$ 

Примечание

«Аксиому объёмности» можно сформулировать следующим образом: «Если каждый элемент первого множества принадлежит второму множеству, а каждый элемент второго множества принадлежит первому множеству, тогда оба множества идентичны.»

Необходимое условие идентичности двух множеств имеет вид $\mathrm{\forall <!--\; \forall \; -->}{A}_1\mathrm{\forall <!--\; \forall \; -->}{A}_2(A_1=A_2\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A_1\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->A_2))$$\forall A_{1}\forall A_{2}\ (A_{1}=A_{2}\to \forall b\ (b\in A_{1}\leftrightarrow b\in A_{2}))$  и выводится из аксиом предиката $=$$=$ , а именно:

$\mathrm{\forall <!--\; \forall \; -->}a(a=a)$$\forall a\ (a=a)$ ,

$\mathrm{\forall <!--\; \forall \; -->}{A}_1\mathrm{\forall <!--\; \forall \; -->}{A}_2(A_1=A_2\to <!--\; \to \; -->(\mathrm{\phi <!--\; \phi \; -->}[A_1]\to <!--\; \to \; -->\mathrm{\phi <!--\; \phi \; -->}[A_2]))$$\forall A_{1}\forall A_{2}\ (A_{1}=A_{2}\to (\varphi [A_{1}]\to \varphi [A_{2}]))$ , где $\mathrm{\phi <!--\; \phi \; -->}[a_1]$$\varphi [a_{1}]$  — любое математически корректное суждение об $a_1$$a_{1}$ , а $\mathrm{\phi <!--\; \phi \; -->}[a_2]$$\varphi [a_{2}]$  — то же самое суждение, но об $a_2$$a_{2}$ .

Соединение указанного необходимого условия [идентичности множеств] с аксиомой объёмности даёт следующий критерий равенства множеств:

$\mathrm{\forall <!--\; \forall \; -->}{A}_1\mathrm{\forall <!--\; \forall \; -->}{A}_2(A_1=A_2\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A_1\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->A_2))$$\forall A_{1}\forall A_{2}\ (A_{1}=A_{2}\leftrightarrow \forall b\ (b\in A_{1}\leftrightarrow b\in A_{2})\ )$ 

1. Аксиомы ZFC о существовании множествПравить

«Аксиома объёмности» была бы бесполезным высказыванием, если бы не существовало ни одного множества или существовало только одно множество.

Следующие два высказывания гарантируют существование по меньшей мере двух разных множеств, а именно: а) множества, в котором нет ничего, и б) множества, содержащего бесконечное количество элементов.

1.0 Аксиома пустого множестваПравить

$\mathrm{\exists <!--\; \exists \; -->}A\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->A)$$\exists A\forall b\ (b\notin A)$ 

Примечание

«Аксиому [существования] пустого множества» можно сформулировать следующим образом: «Существует [по меньшей мере одно] множество без единого элемента.»

Доказывается, что «аксиома пустого множества» равносильна высказыванию $\mathrm{\exists <!--\; \exists \; -->}!A\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->A)$$\exists !A\forall b\ (b\notin A)$ . Поэтому единственному множеству $a$$a$  можно присвоить имя. Употребительны два имени: $\mathrm{\varnothing <!--\; \varnothing \; -->}$$\varnothing$  и $\{\}$$\{\}$ . Используя указанные имена, «аксиому пустого множества» записывают так:

$\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->\mathrm{\varnothing <!--\; \varnothing \; -->})$$\forall b\ (b\notin \varnothing )$  и $\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->\{\})$$\forall b\ (b\notin \{\})$ 

1.1 Аксиома бесконечностиПравить

$\mathrm{\exists <!--\; \exists \; -->}A(\mathrm{\varnothing <!--\; \varnothing \; -->}\in <!--\; \in \; -->A\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A\to <!--\; \to \; -->b\cup <!--\; \cup \; -->\{b\}\in <!--\; \in \; -->A))$$\exists A\ (\varnothing \in A\ \land \ \forall b\ (b\in A\to b\cup \{b\}\in A)\ )$ , где $b\cup <!--\; \cup \; -->\{b\}=\{c:<!--\; :\; -->c\in <!--\; \in \; -->b\vee <!--\; \vee \; -->c=b\}$$b\cup \{b\}=\{c\colon c\in b\ \lor \ c=b\}$ 

Примечание

«Аксиому бесконечности» можно сформулировать следующим образом: «Существует [по меньшей мере одно] „бесконечное множество“, которое состоит из $\mathrm{\varnothing <!--\; \varnothing \; -->},\mathrm{\varnothing <!--\; \varnothing \; -->}\cup <!--\; \cup \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\},\mathrm{\varnothing <!--\; \varnothing \; -->}\cup <!--\; \cup \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\cup <!--\; \cup \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\cup <!--\; \cup \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\},\dots <!--\; \dots \; -->$$\varnothing ,\ \ \varnothing \cup \{\varnothing \},\ \ \varnothing \cup \{\varnothing \}\cup \{\varnothing \cup \{\varnothing \}\},\ \ldots$ .»

Высказывание о существовании бесконечного множества отличается от (ложного в данной аксиоматике) высказывания о существовании «множества всех множеств» ($\mathrm{\exists <!--\; \exists \; -->}A\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->A)$$\exists A\forall b\ (b\in A)$ ).

2. Аксиомы ZFC об образовании множествПравить

Следующие пять высказываний можно назвать аксиомами образования множеств [из имеющихся множеств, включая $\mathrm{\varnothing <!--\; \varnothing \; -->}$$\varnothing$  и по меньшей мере одну $\mathrm{\infty <!--\; \infty \; -->}$$\infty$ ].

Каждое из этих пяти высказываний создано на основе высказывания $\mathrm{\forall <!--\; \forall \; -->}A\mathrm{\exists <!--\; \exists \; -->}b(b=\mathrm{\phi <!--\; \phi \; -->}[A])$$\forall A\exists b\ (b=\varphi [A])$ , которое выводится из аксиом предиката $=$$=$ .

Эти пять высказываний можно объединить в следующие подгруппы:

2.0) группу постулатов об образовании множеств путём перечисления их элементов,

2.1) группу деклараций об учреждении и об упразднении семейств множеств,

2.2) группу схем образования множеств с помощью математически корректных суждений.

2.0. Постулат об образовании множеств путём перечисления их элементов: Аксиома парыПравить

Простейший способ образовать новое множество [из уже имеющихся множеств] состоит в том, чтобы «ткнуть пальцем» в каждое множество, которое должно стать элементом [образуемого множества]. В ZFC указанный способ образования множеств представлен одной аксиомой, в которой «тыканье пальцем» моделируется с помощью предиката $=$$=$ .

2.0 Аксиома пары

$\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=a_1\vee <!--\; \vee \; -->b=a_2)$$\forall a_{1}\forall a_{2}\exists c\forall b\ (b\in c\leftrightarrow b=a_{1}\ \lor \ b=a_{2})$ , что есть $\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\exists <!--\; \exists \; -->}c(c=\{b:<!--\; :\; -->b=a_1\vee <!--\; \vee \; -->b=a_2\})$$\forall a_{1}\forall a_{2}\exists c\ (c=\{b\colon b=a_{1}\ \lor \ b=a_{2}\})$ 

Примечание

«Аксиому [неупорядоченной] пары» можно сформулировать следующим образом: «Из любых двух множеств можно образовать „неупорядоченную пару“, то есть такое множество $c$$c$ , каждый элемент $b$$b$  которого идентичен данному множеству $a_1$$a_{1}$  или данному множеству $a_2$$a_{2}$ ».

Примеры

$1.a_1=0\wedge <!--\; \wedge \; -->a_2=1\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=0\vee <!--\; \vee \; -->b=1)$$1.\ a_{1}=0\ \land \ a_{2}=1\Rightarrow \exists c\forall b\ (b\in c\leftrightarrow b=0\ \lor \ b=1)$ 

$2.a_1=\mathrm{\varnothing <!--\; \varnothing \; -->}\wedge <!--\; \wedge \; -->a_2=\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=\mathrm{\varnothing <!--\; \varnothing \; -->}\vee <!--\; \vee \; -->b=\{\mathrm{\varnothing <!--\; \varnothing \; -->}\})$$2.\ a_{1}=\varnothing \ \land \ a_{2}=\{\varnothing \}\Rightarrow \exists c\forall b\ (b\in c\leftrightarrow b=\varnothing \ \lor \ b=\{\varnothing \}\ )$ 

Доказывается, что «аксиома пары» равносильна высказыванию $\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\exists <!--\; \exists \; -->}!c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=a_1\vee <!--\; \vee \; -->b=a_2)$$\forall a_{1}\forall a_{2}\exists !c\forall b\ (b\in c\leftrightarrow b=a_{1}\ \lor \ b=a_{2})$ . Поэтому единственному множеству $c$$c$  можно присвоить имя $\{a_1,a_2\}$$\{a_{1},a_{2}\}$ . Используя указанное имя, «аксиому пары» записывают так:

$\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->\{a_1,a_2\}\leftrightarrow <!--\; \leftrightarrow \; -->b=a_1\vee <!--\; \vee \; -->b=a_2)$$\forall a_{1}\forall a_{2}\forall b\ (b\in \{a_{1},a_{2}\}\leftrightarrow b=a_{1}\ \lor \ b=a_{2})$  или $\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2(\{a_1,a_2\}=\{b:<!--\; :\; -->b=a_1\vee <!--\; \vee \; -->b=a_2\})$$\forall a_{1}\forall a_{2}\ (\{a_{1},a_{2}\}=\{b\colon b=a_{1}\ \lor \ b=a_{2}\})$ 

2.1. Декларации об учреждении и об упразднении семейств множествПравить

Следующие две аксиомы, именуемые «аксиомой множества подмножеств» и «аксиомой объединения», можно рассматривать как естественное дополнение к «аксиоме пары». Чтобы убедиться в этом, заметим следующее.

Известно, что каждое множество $z$$z$  имеет подмножества, включая [копию пустого множества] $\mathrm{\varnothing <!--\; \varnothing \; -->}$$\varnothing$  и [копию самого множества] $z$$z$ . Иначе говоря,

$\mathrm{\forall <!--\; \forall \; -->}z\mathrm{\exists <!--\; \exists \; -->}x\mathrm{\exists <!--\; \exists \; -->}y(x\subseteq <!--\; \subseteq \; -->z\wedge <!--\; \wedge \; -->y\subseteq <!--\; \subseteq \; -->z)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}z(\mathrm{\varnothing <!--\; \varnothing \; -->}\subseteq <!--\; \subseteq \; -->z\wedge <!--\; \wedge \; -->z\subseteq <!--\; \subseteq \; -->z)$$\forall z\exists x\exists y\ (x\subseteq z\ \land \ y\subseteq z)\quad \land \quad \forall z\ (\varnothing \subseteq z\ \land \ z\subseteq z)$ .

Руководствуясь «аксиомой пары», из названных подмножеств можно образовать неупорядоченную пару $\{\mathrm{\varnothing <!--\; \varnothing \; -->},z\}$$\{\varnothing ,z\}$ . Назовём эту пару семейством $Fa{m}_2(z)$$Fam_{2}(z)$ .

Если можно образовать семейство $Fa{m}_2(z)$$Fam_{2}(z)$  из двух подмножеств множества $z$$z$ , тогда можно объявить об образовании семейства $Fa{m}_a(z)$$Fam_{a}(z)$  из всех подмножеств множества $z$$z$ .

Чтобы объявить об образовании семейства $Fa{m}_a(z)$$Fam_{a}(z)$  достаточно потребовать, чтобы каждый элемент $b$$b$  названного семейства был подмножеством множества $z$$z$ , а каждое подмножество $b$$b$  названного множества было элементом семейства $Fa{m}_a(z)$$Fam_{a}(z)$ . Иначе говоря,

$\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->Fa{m}_a(z)\to <!--\; \to \; -->b\subseteq <!--\; \subseteq \; -->z)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\subseteq <!--\; \subseteq \; -->z\to <!--\; \to \; -->b\in <!--\; \in \; -->Fa{m}_a(z))$$\forall b\ (b\in Fam_{a}(z)\to b\subseteq z)\ \land \ \forall b\ (b\subseteq z\to b\in Fam_{a}(z)\ )$ ,

что равносильно предложению

$\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->Fa{m}_a(z)\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->z)$$\forall b\ (b\in Fam_{a}(z)\leftrightarrow b\subseteq z)$ ,

которое подразумевает предложение

$\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->z)$$\exists d\forall b\ (b\in d\leftrightarrow b\subseteq z)$ ,

которое является частным случаем высказывания

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->a)$$\forall a\exists d\forall b\ (b\in d\leftrightarrow b\subseteq a)$ .

Если можно объявить об учреждении семейства $Fa{m}_a(z)$$Fam_{a}(z)$ , тогда можно объявить об упразднении названного семейства.

Мыслимы различные способы упразднения семейства $Fa{m}_a(z)$$Fam_{a}(z)$ , включая:

1) его полное упразднение (уничтожение), то есть $Del(Fa{m}_a(z))=\mathrm{\varnothing <!--\; \varnothing \; -->}$$Del(Fam_{a}(z))=\varnothing$ , что равносильно

$\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->Del(Fa{m}_a(z))\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\mathrm{\varnothing <!--\; \varnothing \; -->})$$\forall c\ (c\in Del(Fam_{a}(z))\leftrightarrow c\in \varnothing )$ ,

2) его фиктивное упразднение (резервирование), то есть $Fic(Fa{m}_a(z))=Fa{m}_a(z)$$Fic(Fam_{a}(z))=Fam_{a}(z)$ , что равносильно

$\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->Fic(Fa{m}_a(z))\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->Fa{m}_a(z))$$\forall c\ (c\in Fic(Fam_{a}(z))\leftrightarrow c\in Fam_{a}(z))$ ,

3) его реверсивное упразднение (расформирование), то есть $Rev(Fa{m}_a(z))=z$$Rev(Fam_{a}(z))=z$ , что равносильно

$\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->Rev(Fa{m}_a(z))\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->z)$$\forall c\ (c\in Rev(Fam_{a}(z))\leftrightarrow c\in z)$ .

Поскольку

$c\in <!--\; \in \; -->z\iff <!--\; \iff \; -->\{c\}\in <!--\; \in \; -->Fa{m}_a(z)\iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}b(b=\{c\}\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->Fa{m}_a(z))\iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}b(c\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->Fa{m}_a(z))$$c\in z\Leftrightarrow \{c\}\in Fam_{a}(z)\Leftrightarrow \exists b\ (b=\{c\}\ \land \ b\in Fam_{a}(z))\Leftrightarrow \exists b\ (c\in b\ \land \ b\in Fam_{a}(z))$ ,

постольку предложение

$\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->Rev(Fa{m}_a(z))\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->z)$$\forall c\ (c\in Rev(Fam_{a}(z))\leftrightarrow c\in z)$ 

равносильно предложению

$\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->Rev(Fa{m}_a(z))\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(c\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->Fa{m}_a(z)))$$\forall c\ (c\in Rev(Fam_{a}(z))\leftrightarrow \exists b\ (c\in b\ \land \ b\in Fam_{a}(z))\ )$ ,

которое подразумевает предложение

$\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(c\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->Fa{m}_a(z)))$$\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (c\in b\ \land \ b\in Fam_{a}(z))\ )$ ,

которое является частным случаем высказывания

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(c\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->a))$$\forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (c\in b\ \land \ b\in a)\ )$ .

Из изложенного следует, что высказывания $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->a)$$\forall a\exists d\forall b\ (b\in d\leftrightarrow b\subseteq a)$  и $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(c\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->a))$$\forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (c\in b\ \land \ b\in a)\ )$  можно считать независимыми условно.

2.1.0 Аксиома множества подмножествПравить

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->a)$$\forall a\exists d\forall b\ (b\in d\leftrightarrow b\subseteq a)$ , что есть $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d(d=\{b:<!--\; :\; -->b\subseteq <!--\; \subseteq \; -->a\})$$\forall a\exists d\ (d=\{b\colon b\subseteq a\})$ , где $b\subseteq <!--\; \subseteq \; -->a\iff <!--\; \iff \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->c\in <!--\; \in \; -->a)$$b\subseteq a\Leftrightarrow \forall c\ (c\in b\to c\in a)$ 

Примечание

«Аксиому множества подмножеств» можно сформулировать следующим образом: «Из любого множества $a$$a$  можно образовать „суперкучу“, то есть множество $d$$d$ , состоящее из (собственных либо несобственных) подмножеств $b$$b$  данного множества $a$$a$ .»

Примеры

$1.a=\mathrm{\varnothing <!--\; \varnothing \; -->}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\})$$1.\ a=\varnothing \Rightarrow \exists d\forall b\ (b\in d\leftrightarrow b\in \{\varnothing \})$ , так как $\mathrm{\forall <!--\; \forall \; -->}a(\mathrm{\varnothing <!--\; \varnothing \; -->}\subseteq <!--\; \subseteq \; -->a\wedge <!--\; \wedge \; -->a\subseteq <!--\; \subseteq \; -->a)$$\forall a\ (\varnothing \subseteq a\land a\subseteq a)$ 

$2.a=\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\})\iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b=\mathrm{\varnothing <!--\; \varnothing \; -->}\vee <!--\; \vee \; -->b=\{\mathrm{\varnothing <!--\; \varnothing \; -->}\})$$2.\ a=\{\varnothing \}\Rightarrow \exists d\forall b\ (b\in d\leftrightarrow b\in \{\varnothing ,\{\varnothing \}\})\Leftrightarrow \exists d\forall b\ (b\in d\leftrightarrow b=\varnothing \ \lor \ b=\{\varnothing \})$ 

$3.a=\{1,2,3\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\}\})$$3.\ a=\{1,2,3\}\Rightarrow \exists d\forall b\ (b\in d\leftrightarrow b\in \{\varnothing ,\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\}\})$ 

$4.a=\{a_1,a_2\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{a_1\},\{a_2\},\{a_1,a_2\}\})$$4.\ a=\{a_{1},a_{2}\}\Rightarrow \exists d\forall b(b\in d\leftrightarrow b\in \{\varnothing ,\{a_{1}\},\{a_{2}\},\{a_{1},a_{2}\}\})$ 

Доказывается, что «аксиома множества подмножеств» равносильна высказыванию $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}!d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->a)$$\forall a\exists !d\forall b\ (b\in d\leftrightarrow b\subseteq a)$ . Поэтому единственному множеству $d$$d$  можно присвоить имя $\mathcal{P}(a)$${\mathcal {P}}(a)$ , которое произносится: «множество всех подмножеств [множества] $a$$a$ ». Используя указанное имя, «аксиому множества подмножеств» записывают так:

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->\mathcal{P}(a)\leftrightarrow <!--\; \leftrightarrow \; -->b\subseteq <!--\; \subseteq \; -->a)$$\forall a\forall b\ (b\in {\mathcal {P}}(a)\leftrightarrow b\subseteq a)$  или $\mathrm{\forall <!--\; \forall \; -->}a(\mathcal{P}(a)=\{b:<!--\; :\; -->b\subseteq <!--\; \subseteq \; -->a\})$$\forall a\ ({\mathcal {P}}(a)=\{b\colon b\subseteq a\})$ 

2.1.1 Аксиома объединенияПравить

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b))$$\forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in a\ \land \ c\in b)\ )$ , что есть $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d(d=\{c:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b)\})$$\forall a\exists d\ (d=\{c\colon \exists b\ (b\in a\ \land \ c\in b)\})$ 

Примечание

Аксиому объединения [множеств] можно сформулировать следующим образом: «Из любого семейства множеств можно образовать „кучу-малу“, то есть такое множество $d$$d$ , каждый элемент $c$$c$  которого принадлежит по меньшей мере одному множеству $b$$b$  данного семейства $a$$a$ ».

Примеры

$1.a=\mathcal{P}(\mathrm{\varnothing <!--\; \varnothing \; -->})=\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\mathrm{\varnothing <!--\; \varnothing \; -->})$$1.\ a={\mathcal {P}}(\varnothing )=\{\varnothing \}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \varnothing )$ 

$2.a=\mathcal{P}(\mathcal{P}(\mathrm{\varnothing <!--\; \varnothing \; -->}))=\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\mathcal{P}(\mathrm{\varnothing <!--\; \varnothing \; -->}))\iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->}\})$$2.\ a={\mathcal {P}}({\mathcal {P}}(\varnothing ))=\{\varnothing ,\{\varnothing \}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in {\mathcal {P}}(\varnothing )\ )\Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{\varnothing \})$ 

$\begin{array}{r}3.a=\{b_1,b_2,b_3\}=\{\{0,1\},\{1,2\},\{3\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{0,1\}\vee <!--\; \vee \; -->c\in <!--\; \in \; -->\{1,2\}\vee <!--\; \vee \; -->c\in <!--\; \in \; -->\{3\})\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{0,1,2,3\})\end{array}$${\begin{aligned}3.\ a=\{b_{1},b_{2},b_{3}\}=\{\{0,1\},\{1,2\},\{3\}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{0,1\}\lor c\in \{1,2\}\lor c\in \{3\})\\\ \Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{0,1,2,3\})\end{aligned}}$ 

$4.a=\{b,\{b\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->b\cup <!--\; \cup \; -->\{b\})\iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->b\vee <!--\; \vee \; -->c=b)$$4.\ a=\{b,\{b\}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in b\cup \{b\})\Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in b\ \lor \ c=b)$ 

$5.a=(a_1,a_2)=\{\{a_1\},\{a_1,a_2\}\}=\{\{a_1,a_1\},\{a_1,a_2\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{a_1,a_2\})$$5.\ a=(a_{1},a_{2})=\{\{a_{1}\},\{a_{1},a_{2}\}\}=\{\{a_{1},a_{1}\},\{a_{1},a_{2}\}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{a_{1},a_{2}\})$ 

$6.a=⟨<!--\; ⟨\; -->a_1,a_2⟩<!--\; ⟩\; -->=\{a_1,\{a_1,a_2\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->a_1\cup <!--\; \cup \; -->\{a_1,a_2\})$$6.\ a=\langle a_{1},a_{2}\rangle =\{a_{1},\{a_{1},a_{2}\}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in a_{1}\cup \{a_{1},a_{2}\})$ 

$7.a=\mathcal{P}(\{a_1,a_2\})=\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{a_1\},\{a_2\},\{a_1,a_2\}\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{a_1,a_2\})$$7.\ a={\mathcal {P}}(\{a_{1},a_{2}\})=\{\varnothing ,\{a_{1}\},\{a_{2}\},\{a_{1},a_{2}\}\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{a_{1},a_{2}\})$ 

Доказывается, что аксиома объединения равносильна высказыванию $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}!d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b))$$\forall a\exists !d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in a\ \land \ c\in b)\ )$ . Поэтому единственному множеству $d$$d$  можно присвоить имя $\cup <!--\; \cup \; -->a$$\cup \,a$ , которое произносится: «объединение множеств семейства $a$$a$ ». Используя указанное имя, аксиому объединения записывают так:

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->\cup <!--\; \cup \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b))$$\forall a\forall c\ (c\in \cup a\leftrightarrow \exists b\ (b\in a\ \land \ c\in b)\ )$  или $\mathrm{\forall <!--\; \forall \; -->}a(\cup <!--\; \cup \; -->a=\{c:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->b)\})$$\forall a\ (\cup a=\{c\colon \exists b\ (b\in a\ \land \ c\in b)\}\ )$ .

Объединение множеств семейства $a$$a$  ($\cup <!--\; \cup \; -->a$$\cup a$ ) не следует путать с пересечением множеств семейства $a$$a$  ($\cap <!--\; \cap \; -->a$$\cap a$ ), о котором известно:

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->\cap <!--\; \cap \; -->a\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\to <!--\; \to \; -->c\in <!--\; \in \; -->b)$$\forall a\forall c\ (c\in \cap a\leftrightarrow \forall b\ (b\in a\to c\in b)$ , то есть $\mathrm{\forall <!--\; \forall \; -->}a(\cap <!--\; \cap \; -->a=\{c:<!--\; :\; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\to <!--\; \to \; -->c\in <!--\; \in \; -->b)\})$$\forall a\ (\cap a=\{c\colon \forall b\ (b\in a\to c\in b)\})$ 

2.2. Схемы образования множеств с помощью математически корректных сужденийПравить

Среди математических высказываний встречаются аксиомы связи, включая:

а) аксиому связи между алгебраической операцией $+$$+$  (сложить) и алгебраической операцией $\cdot <!--\; \cdot \; -->$$\cdot$  (умножить)

$\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\forall <!--\; \forall \; -->}y\mathrm{\forall <!--\; \forall \; -->}z(x\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->y\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->z\in <!--\; \in \; -->\mathbb{R}\to <!--\; \to \; -->(x+y)\cdot <!--\; \cdot \; -->z=x\cdot <!--\; \cdot \; -->z+y\cdot <!--\; \cdot \; -->z)$$\forall x\forall y\forall z\ (x\in \mathbb {R} \land \ y\in \mathbb {R} \land z\in \mathbb {R} \to (x+y)\cdot z=x\cdot z+y\cdot z)$ ,

б) аксиому связи между отношением порядка $\le <!--\; \le \; -->$$\leq$  (меньше или равно) и алгебраической операцией $+$$+$  (сложить)

$\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\forall <!--\; \forall \; -->}y\mathrm{\forall <!--\; \forall \; -->}z(x\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->y\in <!--\; \in \; -->\mathbb{R}\wedge <!--\; \wedge \; -->z\in <!--\; \in \; -->\mathbb{R}\to <!--\; \to \; -->(x\le <!--\; \le \; -->y\to <!--\; \to \; -->x+z\le <!--\; \le \; -->y+z))$$\forall x\forall y\forall z\ (x\in \mathbb {R} \land y\in \mathbb {R} \land z\in \mathbb {R} \to (x\leq y\to x+z\leq y+z))$ 

Следующие два высказывания, именуемые «схемой выделения» и «схемой преобразования», являются аксиомами связи между множествами (например, множеством $\{0,1\}$$\{0,1\}$ ) и математически корректными суждениями (например, суждением $x\le <!--\; \le \; -->0$$x\leq 0$ ).

«Схема выделения» и «схема преобразования» выражают следующую простую мысль: «Каждое математически корректное суждение об элементах любого множества приводит к образованию [того же самого или другого] множества.»

Математически корректные суждения, фигурирующие в «схеме выделения», позволяют «довести [до товарного вида]» множества, которые образованы, например, с помощью аксиомы множества подмножеств.

Математически корректные суждения, фигурирующие в «схеме преобразования», позволяют создавать «[математические] изделия» из [«неотёсанных»] множеств, образованных, например, с помощью аксиомы множества подмножеств.

2.2.0 Схема выделенияПравить

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b])$$\forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ \Phi [b]\ )$ , что есть $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c(c=\{b:<!--\; :\; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b]\})$$\forall a\exists c\ (c=\{b\colon b\in a\ \land \ \Phi [b]\}\ )$ , где $\mathrm{\Phi <!--\; \Phi \; -->}[b]$$\Phi [b]$  — любое математически корректное суждение о $b$$b$ , но не о множестве $a$$a$  и не о множестве $c$$c$ .

Примечание

Схему выделения [подмножеств] можно сформулировать следующим образом: «Из каждого множества можно выделить [по меньшей мере одно] подмножество $c$$c$ , высказав суждение $\mathrm{\Phi <!--\; \Phi \; -->}$$\Phi$  о каждом элементе $b$$b$  данного множества $a$$a$ .»

Примеры

$1.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->x=x)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->b=b)$$1.\ (\Phi [x]\leftrightarrow x=x)\Rightarrow \forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ b=b)$ 

$2.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->x\ne <!--\; \ne \; -->x)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->b\ne <!--\; \ne \; -->b)$$2.\ (\Phi [x]\leftrightarrow x\neq x)\Rightarrow \forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ b\neq b)$ 

$3.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->x\in <!--\; \in \; -->y)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->y)$$3.\ (\Phi [x]\leftrightarrow x\in y)\Rightarrow \forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ b\in y)$ 

$4.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->x\notin <!--\; \notin \; -->y)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->b\notin <!--\; \notin \; -->y)$$4.\ (\Phi [x]\leftrightarrow x\notin y)\Rightarrow \forall a\exists c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ b\notin y)$ 

$5.\ (\Phi [x]\leftrightarrow x<2)\ \land \ a=\mathbb {N} \Rightarrow \exists c\forall b\ (b\in c\leftrightarrow b\in \mathbb {N} \ \land \ b<2)\Leftrightarrow \exists c\forall b\ (b\in c\leftrightarrow b\in \{0,1\})$ 

$\begin{array}{r}6.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}k(k\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->x=2k))\wedge <!--\; \wedge \; -->a=\mathbb{N}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->\mathrm{\exists <!--\; \exists \; -->}k(k\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->b=2k))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\{0,2,4,6,\dots <!--\; \dots \; -->\})\end{array}$$\begin{align} 6. \ (\Phi[x] \leftrightarrow \exist k \ (k \in \mathbb{N} \land x = 2k)) \land a = \mathbb{N} \Rightarrow \exist c \forall b \ (b \in c \leftrightarrow b \in \mathbb{N} \land \exist k \ (k \in \mathbb{N} \land b = 2k)) \\ \ \Leftrightarrow \exist c \forall b \ (b \in c \leftrightarrow b \in \{0,2,4,6,\ldots\}) \end{align}$ 

$\begin{array}{r}7.(\mathrm{\Phi <!--\; \Phi \; -->}[x]\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}u\mathrm{\exists <!--\; \exists \; -->}v(u\in <!--\; \in \; -->U\wedge <!--\; \wedge \; -->v\in <!--\; \in \; -->V\wedge <!--\; \wedge \; -->x=(u,v)))\wedge <!--\; \wedge \; -->a=\mathcal{P}(\mathcal{P}(U\cup <!--\; \cup \; -->V))\\ \Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->\mathcal{P}(\mathcal{P}(U\cup <!--\; \cup \; -->V))\wedge <!--\; \wedge \; -->\mathrm{\exists <!--\; \exists \; -->}u\mathrm{\exists <!--\; \exists \; -->}v(u\in <!--\; \in \; -->U\wedge <!--\; \wedge \; -->v\in <!--\; \in \; -->V\wedge <!--\; \wedge \; -->b=(u,v)))\end{array}$${\begin{aligned}7.\ (\Phi [x]\ \leftrightarrow \ \exists u\exists v\ (u\in U\ \land \ v\in V\ \land \ x=(u,v)\ )\ )\quad \land \quad a={\mathcal {P}}({\mathcal {P}}(U\cup V))\\\ \Rightarrow \exists c\forall b\ (b\in c\leftrightarrow b\in {\mathcal {P}}({\mathcal {P}}(U\cup V))\ \land \ \exists u\exists v\ (u\in U\land v\in V\land b=(u,v)))\end{aligned}}$ 

Доказывается, что схема выделения равносильна высказыванию $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}!c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b])$$\forall a\exists !c\forall b\ (b\in c\leftrightarrow b\in a\ \land \ \Phi [b]\ )$ . Поэтому единственному подмножеству $c$$c$  можно присвоить имя $\{x:<!--\; :\; -->x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[x]\}$$\{x\colon x\in a\land \Phi [x]\}$ . Используя указанное имя, схему выделения записывают так:

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->\{x:<!--\; :\; -->x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[x]\}\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b])$$\forall a\forall b\ (b\in \{x\colon x\in a\land \Phi [x]\}\leftrightarrow b\in a\ \land \ \Phi [b]\ )$ 

или

$\mathrm{\forall <!--\; \forall \; -->}a(\{x:<!--\; :\; -->x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[x]\}=\{b:<!--\; :\; -->b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[b]\}$$\forall a(\{x\colon x\in a\ \land \ \Phi [x]\}=\{b\colon b\in a\ \land \ \Phi [b]\}$ 

Схема выделения равносильна счётному множеству аксиом.

2.2.1 Схема преобразованияПравить

$\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\exists <!--\; \exists \; -->}!y(\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[b,c]))$$\forall x\exists !y\ (\phi [x,y])\ \to \ \forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in a\ \land \ \phi [b,c]\ )\ )$ , что есть $\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\exists <!--\; \exists \; -->}!y(\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d(d=\{c:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[b,c])\})$$\forall x\exists !y\ (\phi [x,y])\ \to \ \forall a\exists d\ (d=\{c\colon \exists b\ (b\in a\ \land \ \phi [b,c])\}\ )$ 

Примечание

Схему преобразования [множеств] можно сформулировать следующим образом: «Любое множество можно преобразовать в [то же самое или другое] множество $d$$d$ , высказав любое истинное математически корректное функциональное суждение $\mathrm{\varphi <!--\; \varphi \; -->}$$\phi$  обо всех элементах $b$$b$  данного множества $a$$a$ .»

Примеры

$1.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->y=x)\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c=b))\iff <!--\; \iff \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->a)$$1.\ (\phi [x,y]\leftrightarrow y=x)\Rightarrow \forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in a\ \land \ c=b))\Leftrightarrow \forall a\exists d\forall c\ (c\in d\leftrightarrow c\in a)$ 

$\begin{array}{r}2.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->y=x^2)\wedge <!--\; \wedge \; -->a=\{1,2,3\}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{1,2,3\}\wedge <!--\; \wedge \; -->c=b^2))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{1,4,9\})\end{array}$${\begin{aligned}2.\ (\phi [x,y]\leftrightarrow y=x^{2})\ \land \ a=\{1,2,3\}\Rightarrow \exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in \{1,2,3\}\ \land \ c=b^{2}))\\\ \Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{1,4,9\})\end{aligned}}$ 

$3.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->y=f(x))\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c=f(b)))$$3.\ (\phi [x,y]\leftrightarrow y=f(x))\Rightarrow \forall a\exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in a\ \land \ c=f(b)\ )\ )$ 

$\begin{array}{r}4.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->(x=\mathrm{\varnothing <!--\; \varnothing \; -->}\to <!--\; \to \; -->y=a_1)\wedge <!--\; \wedge \; -->(x\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\to <!--\; \to \; -->y=a_2))\wedge <!--\; \wedge \; -->a=\mathcal{P}(\mathcal{P}(\mathrm{\varnothing <!--\; \varnothing \; -->}))=\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\}\\ \Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{\mathrm{\varnothing <!--\; \varnothing \; -->}\}\}\wedge <!--\; \wedge \; -->(b=\mathrm{\varnothing <!--\; \varnothing \; -->}\to <!--\; \to \; -->c=a_1)\wedge <!--\; \wedge \; -->(b\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\to <!--\; \to \; -->c=a_2)))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c=a_1\vee <!--\; \vee \; -->c=a_2)\end{array}$${\begin{aligned}4.\ (\phi [x,y]\leftrightarrow (x=\varnothing \to y=a_{1})\land (x\neq \varnothing \to y=a_{2})\ )\quad \land \quad a={\mathcal {P}}({\mathcal {P}}(\varnothing ))=\{\varnothing ,\{\varnothing \}\}\\\ \Rightarrow \exists d\forall c\ (c\in d\leftrightarrow \exists b\ (b\in \{\varnothing ,\{\varnothing \}\}\land (b=\varnothing \to c=a_{1})\land (b\neq \varnothing \to c=a_{2})\ ))\\\ \Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c=a_{1}\ \lor \ c=a_{2})\end{aligned}}$ 

$\begin{array}{r}5.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->y=2x)\wedge <!--\; \wedge \; -->a=\mathbb{N}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->c=2b))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{0,2,4,6,\dots <!--\; \dots \; -->\})\end{array}$$\begin{align} 5. \ (\phi[x,y] \leftrightarrow y = 2x) \ \land \ a = \mathbb{N} \Rightarrow \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in \mathbb{N} \land c = 2b)) \\ \ \Leftrightarrow \exist d \forall c \ (c \in d \leftrightarrow c \in \{0,2,4,6,\ldots\}) \end{align}$ 

$\begin{array}{r}6.(\mathrm{\varphi <!--\; \varphi \; -->}[x,y]\leftrightarrow <!--\; \leftrightarrow \; -->y=2x+1)\wedge <!--\; \wedge \; -->a=\mathbb{N}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\mathbb{N}\wedge <!--\; \wedge \; -->c=2b+1))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->d\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->\{1,3,5,7,\dots <!--\; \dots \; -->\})\end{array}$$\begin{align} 6. \ (\phi[x,y] \leftrightarrow y = 2x + 1) \ \land \ a = \mathbb{N} \Rightarrow \exist d \forall c \ (c \in d \leftrightarrow \exist b \ (b \in \mathbb{N} \land c = 2b + 1)) \\ \ \Leftrightarrow \exist d \forall c \ (c \in d \leftrightarrow c \in \{1,3,5,7,\ldots\}) \end{align}$ 

${\begin{aligned}7.\ (\phi [x,y]\leftrightarrow (x\in {\mathbb {N}}\ \land \ x<2\to y=x)\ \land \ (x\in {\mathbb {N}}\ \land \ \neg (x<2)\to y=1))\quad \land \quad a={\mathbb {N}}\\\ \Rightarrow \exists d\forall c(c\in d\leftrightarrow \exists b(b\in {\mathbb {N}}\ \land \ (b\in {\mathbb {N}}\land b<2\to c=b)\ \land \ (b\in {\mathbb {N}}\land \neg (b<2)\to c=1)))\\\ \Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in {\mathbb {N}}\ \land \ c<2)\Leftrightarrow \exists d\forall c\ (c\in d\leftrightarrow c\in \{0,1\})\end{aligned}}$ 

Доказывается, что в схеме преобразования множество $d$$d$  единственно. Поэтому указанному множеству можно присвоить имя $\{y:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}x(x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\}$$\{y\colon \exists x\ (x\in a\ \land \ \phi [x,y])\}$ . Используя указанное имя, схему преобразования записывают так:

$\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\exists <!--\; \exists \; -->}!y(\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->\{y:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}x(x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\}\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[b,c]))$$\forall x\exists !y(\phi [x,y])\to \forall a\forall c\ (c\in \{y\colon \exists x\ (x\in a\ \land \ \phi [x,y])\}\leftrightarrow \exists b\ (b\in a\ \land \ \phi [b,c])\ )$ 

или

$\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\exists <!--\; \exists \; -->}!y(\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\to <!--\; \to \; -->\mathrm{\forall <!--\; \forall \; -->}a(\{y:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}x(x\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[x,y])\}=\{c:<!--\; :\; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\varphi <!--\; \varphi \; -->}[b,c])\})$$\forall x\exists !y(\phi [x,y])\to \forall a(\{y\colon \exists x\ (x\in a\ \land \ \phi [x,y])\}=\{c\colon \exists b\ (b\in a\ \land \ \phi [b,c])\}\ )$ 

Схема преобразования равносильна счётному множеству аксиом.

3. Аксиомы ZFC об упорядоченности множествПравить

Следующие два высказывания определяют упорядоченность множеств, которые образованы из $\mathrm{\varnothing <!--\; \varnothing \; -->}$$\varnothing$  и каждой $\mathrm{\infty <!--\; \infty \; -->}$$\infty$  с помощью аксиом образования множеств.

3.0 Аксиома регулярностиПравить

$\mathrm{\forall <!--\; \forall \; -->}a(a\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->c\notin <!--\; \notin \; -->a)))$$\forall a\ (a\neq \varnothing \to \exists b\ (b\in a\ \land \ \forall c\ (c\in b\to c\notin a)\ )\ )$ 

Примечание

«Аксиому регулярности» можно сформулировать следующим образом: «В любом семействе множеств есть [по меньшей мере одно] множество $b$$b$ , каждый элемент $c$$c$  которого не принадлежит данному семейству $a$$a$ .»

Примеры

$\begin{array}{r}1.a=\{x\}\Rightarrow <!--\; \Rightarrow \; -->a\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{x\}\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->c\notin <!--\; \notin \; -->\{x\}))\\ \iff <!--\; \iff \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{x\}\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->\{x\}\to <!--\; \to \; -->c\notin <!--\; \notin \; -->b))\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}x(x\notin <!--\; \notin \; -->x)\\ \iff <!--\; \iff \; -->\mathrm{\forall <!--\; \forall \; -->}a(a\notin <!--\; \notin \; -->a)\iff <!--\; \iff \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(a\in <!--\; \in \; -->b\vee <!--\; \vee \; -->b\in <!--\; \in \; -->a\to <!--\; \to \; -->a\ne <!--\; \ne \; -->b)\end{array}$${\begin{aligned}1.\ a=\{x\}\Rightarrow a\neq \varnothing \Rightarrow \exists b\ (b\in \{x\}\land \forall c\ (c\in b\to c\notin \{x\})\ )\\\ \Leftrightarrow \exists b\ (b\in \{x\}\land \forall c\ (c\in \{x\}\to c\notin b))\Rightarrow \forall x(x\notin x)\\\ \Leftrightarrow \forall a(a\notin a)\Leftrightarrow \forall a\forall b\ (a\in b\ \lor \ b\in a\to a\neq b)\end{aligned}}$ 

Сравните с высказываниями $\mathrm{\forall <!--\; \forall \; -->}a(a=a)$$\forall a\ (a=a)$  и $\forall a\ (a\not <a)$ , а также $\forall a\forall b\ (a<b\ \lor \ b<a\to a\neq b)$ .

$\begin{array}{r}2.a=\{x,y\}\Rightarrow <!--\; \Rightarrow \; -->a\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{x,y\}\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->c\notin <!--\; \notin \; -->\{x,y\}))\\ \Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}x\mathrm{\forall <!--\; \forall \; -->}y(x\in <!--\; \in \; -->y\to <!--\; \to \; -->y\notin <!--\; \notin \; -->x)\\ \iff <!--\; \iff \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(a\in <!--\; \in \; -->b\to <!--\; \to \; -->b\notin <!--\; \notin \; -->a)\end{array}$${\begin{aligned}2.\ a=\{x,y\}\Rightarrow a\neq \varnothing \Rightarrow \exists b\ (b\in \{x,y\}\ \land \ \forall c\ (c\in b\to c\notin \{x,y\}))\\\ \Rightarrow \forall x\forall y\ (x\in y\to y\notin x)\\\ \Leftrightarrow \forall a\forall b\ (a\in b\to b\notin a)\end{aligned}}$ 

Сравните с высказываниями $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(a=b\to <!--\; \to \; -->b=a)$$\forall a\forall b\ (a=b\to b=a)$  и $\forall a\forall b\ (a<b\to b\not <a)$ .

$\begin{array}{r}3.a=\{x,y,z\}\Rightarrow <!--\; \Rightarrow \; -->a\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}b(b\in <!--\; \in \; -->\{x,y,z\}\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\to <!--\; \to \; -->c\notin <!--\; \notin \; -->\{x,y,z\}))\\ \Rightarrow <!--\; \Rightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(a\in <!--\; \in \; -->b\wedge <!--\; \wedge \; -->b\in <!--\; \in \; -->c\to <!--\; \to \; -->c\notin <!--\; \notin \; -->a)\end{array}$${\begin{aligned}3.\ a=\{x,y,z\}\Rightarrow a\neq \varnothing \Rightarrow \exists b\ (b\in \{x,y,z\}\land \forall c\ (c\in b\to c\notin \{x,y,z\}))\\\ \Rightarrow \forall a\forall b\forall c\ (a\in b\land b\in c\to c\notin a)\end{aligned}}$ 

Сравните с высказываниями $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\forall <!--\; \forall \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(a=b\wedge <!--\; \wedge \; -->b=c\to <!--\; \to \; -->c=a)$$\forall a\forall b\forall c\ (a=b\land b=c\to c=a)$  и $\forall a\forall b\forall c\ (a<b\land b<c\to c\not <a)$ .

3.1 Аксиома выбораПравить

$\begin{array}{r}\mathrm{\forall <!--\; \forall \; -->}a(a\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\to <!--\; \to \; -->b\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->})\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}{b}_1\mathrm{\forall <!--\; \forall \; -->}{b}_2(b_1\ne <!--\; \ne \; -->b_2\wedge <!--\; \wedge \; -->\{b_1,b_2\}\subseteq <!--\; \subseteq \; -->a\to <!--\; \to \; -->b_1\cap <!--\; \cap \; -->b_2=\mathrm{\varnothing <!--\; \varnothing \; -->})\\ \to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}d\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a\to <!--\; \to \; -->\mathrm{\exists <!--\; \exists \; -->}c(b\cap <!--\; \cap \; -->d=\{c\})))\end{array}$${\begin{aligned}\forall a\ (a\neq \varnothing \land \forall b\ (b\in a\to b\neq \varnothing )\land \forall b_{1}\forall b_{2}\ (b_{1}\neq b_{2}\land \{b_{1},b_{2}\}\subseteq a\to b_{1}\cap b_{2}=\varnothing )\\\ \to \exists d\forall b\ (b\in a\to \exists c\ (b\cap d=\{c\})\ )\ )\end{aligned}}$ 

Примечание

«Аксиому выбора» можно сформулировать следующим образом: «Из любого семейства непустых попарно непересекающихся множеств можно выбрать „делегацию“, то есть такое множество $d$$d$ , в котором есть по одному элементу $c$$c$  от каждого множества $b$$b$  данного семейства $a$$a$ .»

Пример

Предположим, что семейство образовано из множества неотрицательных чётных чисел и множества неотрицательных нечётных чисел. В таком случае, выполнены все условия «аксиомы выбора», а именно:

$1.\{\{0,2,4,\dots <!--\; \dots \; -->\},\{1,3,5,\dots <!--\; \dots \; -->\}\}\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}$$1.\quad \{\{0,2,4,\ldots \},\ \{1,3,5,\ldots \}\}\neq \varnothing$ ,

$2.\{0,2,4,\dots <!--\; \dots \; -->\}\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}\wedge <!--\; \wedge \; -->\{1,3,5,\dots <!--\; \dots \; -->\}\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}$$2.\quad \{0,2,4,\ldots \}\neq \varnothing \quad \land \quad \{1,3,5,\ldots \}\neq \varnothing$ ,

$3.\{0,2,4,\dots <!--\; \dots \; -->\}\cap <!--\; \cap \; -->\{1,3,5,\dots <!--\; \dots \; -->\}=\mathrm{\varnothing <!--\; \varnothing \; -->}$$3.\quad \{0,2,4,\ldots \}\ \cap \ \{1,3,5,\ldots \}=\varnothing$ .

Следовательно, можно образовать по меньшей мере одну «делегацию» в составе одного «делегата» (например, числа ноль) от множества $\{0,2,4,\dots <!--\; \dots \; -->\}$$\{0,2,4,\ldots \}$  и одного «делегата» (например, числа один) от множества $\{1,3,5,\dots <!--\; \dots \; -->\}$$\{1,3,5,\ldots \}$ . Действительно:

$\{0,2,4,\dots <!--\; \dots \; -->\}\cap <!--\; \cap \; -->\{0,1\}=\{0\}$$\{0,2,4,\ldots \}\ \cap \ \{0,1\}=\{0\}$ .

$\{1,3,5,\dots <!--\; \dots \; -->\}\cap <!--\; \cap \; -->\{0,1\}=\{1\}$$\{1,3,5,\ldots \}\ \cap \ \{0,1\}=\{1\}$ .

ПримечанияПравить

1. Если ZFC непротиворечива, то её непротиворечивость не может быть доказана средствами ZFC, согласно второй теореме Гёделя.

Историческая справкаПравить

По-видимому, первоначальный вариант теории множеств, умышленно названный немецким математиком Георгом Кантором учением о множествах, состоял из двух аксиом, а именно:

1) аксиомы объёмности $\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2(\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->a_1\leftrightarrow <!--\; \leftrightarrow \; -->b\in <!--\; \in \; -->a_2)\to <!--\; \to \; -->a_1=a_2)$$\forall a_{1}\forall a_{2}\ (\forall b\ (b\in a_{1}\leftrightarrow b\in a_{2})\to a_{1}=a_{2})$ , которая позволяет сформулировать критерий равенства множеств,

2) «аксиомы математической свободы» $\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\Phi <!--\; \Phi \; -->}[a,c])$$\forall a\exists b\forall c\ (c\in b\leftrightarrow \Phi [a,c])$ , которая позволяет создавать множества с помощью «суждения свободы» $\mathrm{\Phi <!--\; \Phi \; -->}[a,c]$$\Phi [a,c]$ .

«Аксиома математической свободы» имеет рациональные следствия, включая следующие:

$\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c\ne <!--\; \ne \; -->c)$$\exists b\forall c\ (c\in b\leftrightarrow c\neq c)$ ,

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c=a)$$\forall a\exists b\forall c\ (c\in b\leftrightarrow c=a)$ ,

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c=a\vee <!--\; \vee \; -->c=x)$$\forall a\exists b\forall c\ (c\in b\leftrightarrow c=a\ \lor \ c=x)$ ,

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->\mathrm{\Phi <!--\; \Phi \; -->}[c])$$\forall a\exists b\forall c\ (c\in b\leftrightarrow c\in a\land \Phi [c])$ ,

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c\subseteq <!--\; \subseteq \; -->a)$$\forall a\exists b\forall c\ (c\in b\leftrightarrow c\subseteq a)$ ,

$\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\exists <!--\; \exists \; -->}d(d\in <!--\; \in \; -->a\wedge <!--\; \wedge \; -->c\in <!--\; \in \; -->d))$$\forall a\exists b\forall c\ (c\in b\leftrightarrow \exists d\ (d\in a\land c\in d))$ .

В 1903 году английский философ Бертран Рассел обратил внимание на следующее:

1) руководствуясь «аксиомой математической свободы», невозможно отличить «свободу» от «вседозволенности»,

2) выбрав в качестве $\mathrm{\Phi <!--\; \Phi \; -->}[a,c]$$\Phi [a,c]$  тривиальнейшее математическое суждение $c=c$$c=c$ , мы получаем высказывание о существовании «множества всех множеств» $\mathrm{\exists <!--\; \exists \; -->}b\mathrm{\forall <!--\; \forall \; -->}c(c\in <!--\; \in \; -->b\leftrightarrow <!--\; \leftrightarrow \; -->c=c)$$\exists b\forall c\ (c\in b\leftrightarrow c=c)$ , от которого «один шаг» до парадокса Рассела.

Эти критические высказывания о «немецком учении [о множествах]» побудили немецкого математика Эрнста Цермело заменить «аксиому математической свободы» такими её следствиями, которые не вызывали бы протеста у математиков.

В 1908 году в журнале Mathematische Annalen Эрнст Цермело опубликовал следующие семь аксиом:

1) аксиому объёмности (нем. Axiom der Bestimmtheit);

2) аксиому о существовании «элементарных множеств» (нем. Axiom der Elementarmengen) $\mathrm{\varnothing <!--\; \varnothing \; -->}$$\varnothing$ , $\{a\}$$\{a\}$  и $\{a_1,a_2\}$$\{a_{1},a_{2}\}$ , которую можно записать в следующем виде:

$\mathrm{\exists <!--\; \exists \; -->}a\mathrm{\forall <!--\; \forall \; -->}b(b\notin <!--\; \notin \; -->a)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}a\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=a)\wedge <!--\; \wedge \; -->\mathrm{\forall <!--\; \forall \; -->}{a}_1\mathrm{\forall <!--\; \forall \; -->}{a}_2\mathrm{\exists <!--\; \exists \; -->}c\mathrm{\forall <!--\; \forall \; -->}b(b\in <!--\; \in \; -->c\leftrightarrow <!--\; \leftrightarrow \; -->b=a_1\vee <!--\; \vee \; -->b=a_2)$$\exists a\forall b\ (b\notin a)\ \land \ \forall a\exists c\forall b\ (b\in c\leftrightarrow b=a)\ \land \ \forall a_{1}\forall a_{2}\exists c\forall b\ (b\in c\ \leftrightarrow \ b=a_{1}\ \lor \ b=a_{2})$ ;

3) схему выделения (нем. Axiom der Aussonderung);

4) аксиому множества подмножеств (нем. Axiom der Potenzmenge);

5) аксиому объединения (нем. Axiom der Vereinigung);

6) аксиому выбора (нем. Axiom der Auswahl);

7) аксиому бесконечности (нем. Axiom der Unendlichkeit) в формулировке, отличной от современной формулировки.

Так «учение о множествах» превратилось в теорию множеств, а именно в теорию ZC [Zermelo set theory with the Axiom of Choice].

Последняя аксиома теории ZC (аксиома бесконечности) сблизила сторонников Георга Кантора со сторонниками Леопольда Кронекера, которые рассматривали множество натуральных чисел $\mathbb{N}$$\mathbb {N}$  как священный грааль математики.

Предпоследняя аксиома теории ZC (аксиома выбора) стала предметом оживлённых математических дискуссий. Действительно, эта аксиома не является следствием «аксиомы математической свободы».

В 1922 году немецкий математик Абрахам Френкель и норвежский математик Туральф Скулем дополнили теорию ZC схемой преобразования. В результате теория ZC превратилась в теорию ZFC [Zermelo-Fraenkel set theory with the Axiom of Choice].

В 1925 году венгерский математик Джон фон Нейман дополнил теорию ZFC аксиомой регулярности. Одно из следствий этой аксиомы ($\mathrm{\forall <!--\; \forall \; -->}a(a\notin <!--\; \notin \; -->a)$$\forall a\ (a\notin a)$ ) «похоронило» и «множество всех множеств», и «парадокс Рассела».

См. такжеПравить

• Теорема Цермело

ЛитератураПравить

• Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.: УРСС, 2005. — 240 с.
• Френкель А. А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 556 с.
• Fraenkel, Abraham; Bar-Hillel, Yehoshua; Lévy, Azriel  (англ.) (рус.. Foundations of Set Theory (неопр.). — North-Holland, 1973. Fraenkel’s final word on ZF and ZFC.
• Hatcher, William. The Logical Foundations of Mathematics. — Pergamon Press  (англ.) (рус., 1982.
• Hinman, Peter. Fundamentals of Mathematical Logic. — A K Peters  (англ.) (рус., 2005. — ISBN 978-1-56881-262-5.
• Jech, Thomas  (англ.) (рус.. Set Theory: The Third Millennium Edition, Revised and Expanded (англ.). — Springer  (англ.) (рус., 2003. — ISBN 3-540-44085-2.
• Kunen, Kenneth  (англ.) (рус.. Set Theory: An Introduction to Independence Proofs (англ.). — Elsevier, 1980. — ISBN 0-444-86839-9.
• Levy, Azriel. Basic Set Theory. — Dover Publications, 2002. — ISBN 0486420795.
• Link, Godehard. Formalism and Beyond: On the Nature of Mathematical Discourse (англ.). — Walter de Gruyter GmbH & Co KG, 2014. — ISBN 978-1-61451-829-7.
• Quine, Willard van Orman. Set Theory and Its Logic. — Revised. — Cambridge, Massachusetts and London, England: Harvard University Press, 1969. — ISBN 0-674-80207-1.
• Montague, Richard. Semantical closure and non-finite axiomatizability // Infinistic Methods. — London: Pergamon Press  (англ.) (рус., 1961. — С. 45—69.
• Shoenfield, Joseph R.  (англ.) (рус.. Axioms of set theory // Handbook of Mathematical Logic / Barwise, K. J.  (англ.) (рус.. — 1977. — ISBN 0-7204-2285-X.
• Takeuti, Gaisi; Zaring, W M. Introduction to Axiomatic Set Theory. — 1982.
• Tarski, Alfred  (англ.) (рус.. On well-ordered subsets of any set (англ.) // Fundamenta Mathematicae : journal. — 1939. — Vol. 32. — P. 176—183.

СсылкиПравить

• Hazewinkel, Michiel, ed. (2001), ZFC, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
• Metamath version of the ZFC axioms; A concise and nonredundant axiomatization. The background first order logic is defined especially to facilitate machine verification of proofs (англ.)
• A derivation in Metamath (англ.)
• Аксиоматика теории множеств (англ.) на сайте PlanetMath.