Most computer science students get a set theory introduction and construction of natural numbers, rationals, and reals. Those with an interest in statistics get a foundation laid in measure theory. For other domains, what are good places to look for set-theoretic approaches? A set-theoretic approach to calculus has me intrigued.