Thank you for suggesting Cantor - very interesting. Another quick question: there are integers, rational numbers, irrationals (which can be expressed using polynomials), transcendentals (which can't, but still can be defined, e.g. pi and e). What about numbers that cannot be defined in any way...