User blog comment:Edwin Shade/A Question Concerning Cardinal Infinities/@comment-24920136-20171025011457/@comment-1605058-20171025070608

I will write a longer reply latter, but right now let me say this: if we show there is no such map between the two sets, then this does imply that the set have different sizes, because of how we define the notion of having the same size.