User blog comment:Edwin Shade/Enumerating the Countable Ordinals/@comment-25337554-20171208234807/@comment-1605058-20171209003127

If you state your goal like this - to find a surjection from the set of natural numbers to the set of countable ordinals - then we can say with certainty this is an impossible task. No amount of diagonalization will let you do that.