“This is a mathematical formulation of the iterative concept of set: sets are just what one gets by iterating the power set operation on the well-ordered class of ordinal numbers.”