Algebraic numbers are countable

Here we're defining countable as either finite or countably infinite (so the natural numbers are countable and so are finite sets).

[chrisclub]

You could also put P_N to be the set of integer polynomials of degree N with integer coefficients, which is countable, then do essentially the same argument.