Although you've been given a hard time in the comments, I think that this is actually a serious question in the philosophy of mathematics, whose answer depends on one's philosophical position on the nature of mathematical truth. 

   *What is the nature of existence for the mathematical objects that we define?*

There are a variety of natural positions to stake out, so let me describe at least a few of them. There are of course many more...

You ask about the ontological status of a mathematical object that you have defined. Ontology has to do with the real nature of a thing's existence, independently of, say, our knowledge about it. 

**Traditional set-theoretic Platonism.** On the traditional Platonist view, sets exist in a unique real Platonic realm---the realm consisting of all sets---and every set-theoretic assertion has a definitive truth value in this realm. On this account, there is a fact of the matter about whether CH is true or false, or whether your assertion $\phi$ is true or false. On this account, the set you have described is either in fact identical to $\{1\}$ or is identical to $\{1,2\}$. The fact that $\phi$ is independent of the ZFC axioms merely illustrates our lack of knowledge about which one of these sets you have actually described.  On this account, the set is definitely one of them or the other, depending on whether it is the case that $\phi$ is true or not, and exactly one of these is the case. The independence of $\phi$ is an irrelevant distraction from whether $\phi$ is true. On this view, the pervasive independence phenomenon is seen as a side-show about our epistemological weakness---the weakness of our theories---rather than indicating any issue about the singular nature of mathematical truth. 

**Formalism.** On this view, there is no realm of real existence for mathematical objects like sets, and rather the mathematical process consists of the manipulation of sequences of symbols, such as the definition in your question. On this view, assertions of existence in mathematics are merely a way of speaking, and no actual existence of mathematical objects is being asserted. Formalism thus trivializes the ontology of the mathematical objects that mathematics is about.

**Plural realism.** On the pluralist or multiverse conception of mathematical truth, one holds that there are divere concepts of set, each giving rise to its own set-theoretic universe, a plurality of set-theoretic worlds with their own set-theoretic truth, but which can be connected in various ways, such as by forcing or by large cardinal embeddings. On this account, your sentence $\phi$ may be true in some of these worlds and false in other worlds, and your set will accordingly change its nature depending on the current set-theoretic background concept of set under which it is being interpreted.