Here's a possible good faith interpretation: Irrational numbers exist as a limiting process, not as a static atomic unit. That is, irrational numbers are a verb, not a noun.
We use irrational numbers as nouns, when convenient, but this is an abuse, in some sense. When we want some digit of sqrt(2), say, we need to interrogate an algorithm to get it. We talk about how much time it takes to extract the amount of precision we want. At best sqrt(2) can be thought of as an abstract symbol that, when we multiply it by itself, is 2. That is, an algebraic manipulation that we can reduce to an integer under certain circumstances, but it doesn't "exist" the same way that an integer or a rational exists.
> That is, an algebraic manipulation that we can reduce to an integer under certain circumstances, but it doesn't "exist" the same way that an integer or a rational exists.
This depends on your interpretation: some view the reals as completions of that process, in which those “verbs” are “nouns”.
But you can construct a coherent theory in which this is not the case — and nobody is much fussed, because mathematics is full of weird theories and interpretations.
And both integers and rationals are defined by their relations, eg, integers are equivalence classes of pairs of naturals and rationals as equivalence classes of pairs of integers — where the class obeys some algebraic manipulation properties. If you feel there’s some great difference in sequences (and where you find that difference, eg, allowing only constructibles) is a matter of perspective.
Put another way: irrational numbers are functions, not values. You can run the function as long as you want and get more digits but the function won't halt.
We use irrational numbers as nouns, when convenient, but this is an abuse, in some sense. When we want some digit of sqrt(2), say, we need to interrogate an algorithm to get it. We talk about how much time it takes to extract the amount of precision we want. At best sqrt(2) can be thought of as an abstract symbol that, when we multiply it by itself, is 2. That is, an algebraic manipulation that we can reduce to an integer under certain circumstances, but it doesn't "exist" the same way that an integer or a rational exists.