With a proof that the relation |A| ??? |B|, defined as There exists a surjection from B to A, is a well-defined ordering relation, that is sufficient to prove that there is a never-ending chain of infinitites, even without showing a bijection from 2N and R.