Yes, there are of course axioms, but if you have a rich enough set of axioms like zfc, then one should stop piling more axioms (if not absolutely necessary). So of course the question is existence in zfc