What's also somewhat interesting is there's a non-trivial countable set of irrational numbers: those formed by taking the roots of polynomials with raitonal coefficients. http://en.wikipedia.org/wiki/Algebraic_number has the low-down, but it's definitely neat that square roots, etc. are still a countable set.