As to the second step, related to the selection of a good stock of  set-theoretic principles, the schemata of replacement and separation, and the axiom of power set have attracted most attention. For the exact formulation of these principles see the supplementary document: