Аксиома подстановки (по Френкелю).

[Виктор Викторов]

Вот здесь AGu все прописал очень чётко

AGu в сообщении #255954 писал(а):

Непосредственно в результате подстановки мы не можем получить более мощное множество, но у нового множества могут оказаться гораздо более мощные элементы, и тогда объединение нового множества будет гораздо более мощным, чем объединение исходного множества. Так и было в случае $\{X_n:n\in\omega\}$: элементы исходного (счетного) множества $\omega$ хиленькие (конечные), но подставив $X_n$ вместо каждого $n\in\omega$, мы получили (тоже счетное) множество $\{X_n:n\in\omega\}$ с гораздо более мощными элементами $X_n$. В результате объединение $\bigcup_{n\in\omega}X_n$ множества $\{X_n:n\in\omega\}$ оказалось гораздо мощнее объединения исходного множества $\omega$.

[alex_dorin]

Спасибо ! плюс сюда же аксиому множества степени