The existence of Sierpinski sets is independent of the axioms of ZFC: they exist if the continuum hypothesis is true, and do not exist if Martin's axiom for ℵ 1 is true.
The existence of Sierpinski sets is independent of the axioms of ZFC. They exist. The continuum hypothesis is true. They do not exist. Martin's axiom for ℵ 1 is true.