I don't understand what you're trying to say here. In more finite terms (given that random real numbers already contain infinite information), the diagonalization argument says, "You can keep generating individual real numbers as long as you want, by any process. But there'll always be at least one real number that you'll never ever count to, no matter how long you keep generating numbers."
This does not require any kind of "predefined order". In fact, the diagonalization has to listen to all the numbers we generate just to provide an example of an unreachable number. So at any given point in the process, we can't know in full what the unreachable number is (without knowing the generation process); we only know its initial digits. But the limit of these partial answers is the full unreachable number, which had already existed in the first place.
(I hope you accept the idea of an arithmetic limit; without it, we'd have trouble with basic things like justifying that 0.999... = 1, or resolving Zeno's paradoxes of motion. It's an intrinsic part of what a real number is.)
> A set being infinite just means that we can start listing elements, and we'll always be able to find a new element that we haven't listed before.
You can do that for the real numbers, by keeping a set of all the unique real numbers you’ve produced before, then adding one random real number at a time, always checking that is not in the set already.
And if you could go forever, then the probability of generating every real number is 1.
However, infinity is unknowable. You can’t just say that the “infinite” cardinality of a set can just be reduced to a symbol, that is like saying you finished doing the calculation and that you know there’s a final result. But there isn’t a final result.
The arguments in your explanation only prove that you cannot predict or choose an ordering for the real numbers before counting them. But if you produce random real numbers at each step and re-order them, you don’t need a predefined order. In fact the order can just be the order in which the real number was generated, regardless of its value, then you don’t even need to reorder them.