Se define un número trascendente como aquél que no es raíz de ningún polinomio (no nulo) con coeficientes enteros o racionales.