Ahora usamos el Esquema Axiomático de Separación y creamos el conjunto formula_5.