It doesn't matter whether the sets exist in some platonic sense if the axioms (e.g. of Peano Arithmetic) are consistent. Nobody has been able to show that they are inconsistent.