Cantor's original proof requires transfinite induction, whose legitimacy over all ordinals cannot be...