En 1844 Liouville obtuvo el primer criterio necesario para que un número sea algebraico, y, por consiguiente, un criterio suficiente para que sea un número trascendente.