That's not the assumption, that's the result.
That Naturals are infinite but countable and Reals infinite and uncountable.
That's not the assumption, that's the result.