Efectivamente, ahora que sabemos que dados dos conjuntos formula_1 y formula_2 existe el conjunto formula_10, podemos ahora aplicar a formula_10 el Axioma de la Unión, y obtener así formula_12.