the well-ordering of the values of single parameters is provided by the inductive hypothesis of the transfinite induction. the values of n-tuples of parameters are well-ordered by the product ordering. the formulas with parameters are well-ordered by the ordered sum (by gödel numbers) of well-orderings. and l is well-ordered by the ordered sum (indexed by α) of the orderings on l.