[pavel_lishin]

> That although both are infinite, there are actually more of one than the other.

That's not the assumption, that's the result.

[tambourine_man]

You're right. The assumption would be that there's a countability difference between Naturals and Reals.

That Naturals are infinite but countable and Reals infinite and uncountable.