Skip to main content
3 of 3
edited tags
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

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