de modo que el axioma de unión y el axioma de pares garantizan la existencia del conjunto formula_87 para cualesquiera conjuntos formula_17 e formula_18, un hecho que no puede deducirse simplemente del esquema de especificación junto con los axiomas restantes.