> 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

> 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. We put a symbol on cardinality because it lets us make statements about the properties of sets, like whether or not we're able to map them one-to-one with other sets. In turn, this often helps us with proving statements about finite objects. (Technically, they let us quantify over different scenarios: say what can't happen, or can happen, or might not happen, or must always happen.) To repeat my example, we say with symbols that x + 1 > x for all the infinitely many numbers x, even though we can't physically check all of them. But if you hand me some physical number X and I add 1 to it, I can apply the abstract statement to know that I'll get a bigger number in that scenario. > 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. 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." (You can't say the same thing about the natural numbers: some methods of counting them will, in fact, reach every number sooner or later. That's the crucial distinction.) 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 been there 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.)