Countability of algebraic numbers (source code)

= Countability of algebraic numbers

Integer polynomials form a countable set and each has finitely many roots, so the algebraic numbers are countable.