You don't NEED to build CT on set theory. Like most math, the ideas are mostly independent of the foundations built under them. ZFC or whatever is just the default.