Yep and how to construct, the naturals from set theory, the integers from the naturals, the rationals from the integers and the reals from the rational. I've forgotten the details at this point, but I remember the conclusions.