To a first approximation, at least. As is always the case in math, you can always split finer, and the field of math readers of HN are most familiar with, computation, you can have visible differences in the performance of one identity function versus another. But broadly speaking from a "conventional" mathematical perspective, they're all the same and uninteresting.

If you also want to get all mathy, the argument does depend on the set of numbers being ordered. It breaks down on numbers that aren't, so, for instance, the proof nominally proves that all integers are interesting (since orders on those exist) but it is invalid on real numbers, complex numbers, and a lot of other things that lack orderings, because there is no first "uninteresting real number".

    ...God needs ev'ry number
    To enumerate!