You didn't say anything entirely incorrect, I think! But the important bit when it comes to talking about sizes of infinity is that, while both irrationals and

You didn't say anything entirely incorrect, I think! But the important bit when it comes to talking about sizes of infinity is that, while both irrationals and rationals are smaller than the reals in one sense (they're both proper subsets), they're very different in another sense: you actually can index the rationals by the natural numbers whereas you can't do the same with the irrationals. That's the much more interesting sense in which the rationals are smaller (or, alternatively, that reals are bigger). The rationals are smaller than the irrationals in this sense as well, despite not being a subset of them at all.