Skip to main content
2 of 3
fix markup
Emil Jeřábek
  • 47.3k
  • 4
  • 150
  • 209

Ontological status of some "sets" in ZFC

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?

Godot
  • 91
  • 5