>no statement about comparing infinities
it's implicit by virtue of taking things to their limit. there's no assumption here besides the idea that you can in fact form a bijection, yet doing so fails immediately by the intrinsic nature of having the diagonal entry not mapped. it's essentially a proxy for a supremum that will always violate the bijection when taken to the limit.