A set is countable if, and only if, there is a bijection between it and the natural numbers — ie if there can be an enumeration.

Cantor is doing a proof by contradiction. He’s assuming that the complete enumeration exists precisely because it is wrong.

If you object to making that assumption, you’re just agreeing with Cantor’s conclusion before he’s made the argument.