More generally , it is a theorem of ZF that any well - ordered set can be enumerated under this characterization .
Theorem coincides up to relabeling with the generalized listing enumeration .
More generally , it is a theorem of ZF that any well - ordered set can be enumerated under this characterization so that it coincides up to relabeling with the generalized listing enumeration .