Como de costumbre, este conjunto es único, y no depende del conjunto formula_3 del enunciado del axioma.