how is cantor's diagonal argument constructive? applying it to an enumeration of all algebraic numbers does produce a transcendental number, but it's easy to give an enumeration of the reals that contains infinite transcendental numbers.