de manera que el axioma de pares puede deducirse del axioma del conjunto potencia, el esquema de especificación y el axioma de unión.