Let $\phi$ be an undecidable statement of ZFC set theory, for example let's take continuum hypothesis.


What is the ontological status of the "set" $X=\bigl\{x\in\{1,2\}:x=1\text{ or }(x=2\text{ and }\phi)\bigr\}$ in ZFC? 



Ontological status of some "sets" in ZFC
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 concerning 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; I mention several perspectives specifically on CH in my answer to Gil Kalai's question on [solutions to the continuum hypothesis](https://mathoverflow.net/questions/23829/solutions-to-the-continuum-hypothesis/25199#25199), which you may find relevant.


As you describe the example, the puzzling thing here is that you seem to have defined a fairly simple set, yet we also find ourselves unable to answer some fairly simple questions about it, such as whether it has one or two elements. To my way of thinking, the philosophical question about the ontological status of your set is very similar to the philosophical question about the ontological status of the truth of $\phi$ itself; the two simply go together. So we could ask the question like this:


*When a statement $\phi$ is independent of ZFC, what is the ontological status of the truth of $\phi$?*


For example, does it still make sense to say that $\phi$ is definitely true or false, but definitely only one of these? Ontology has to do with the nature of reality---in our case, mathematical reality---independently of, say, our knowledge about it. But provability and non-provability (and thus independence) seem to have to do with our ability to know certain things, and thus relate to epistemological rather than ontological concerns. 


Let me describe a few of the philosophical positions that are commonly held about this kind of question. 


**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, or the multiverse view.** On the plural realist or multiverse conception of set-theoretic truth, one holds that there are diverse 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. You can read more about the multiverse perspective in set theory in [some of my recent papers](http://jdh.hamkins.org/the-set-theoretic-multiverse/), especially ["The set-theoretic multiverse", RSL 2012](http://jdh.hamkins.org/themultiverse/). 


