У 1844 годзе Ліувіль даказаў тэарэму аб немагчымасці надта добрага прыбліжэння каранёў мнагачленаў з рацыянальнымі каэфіцыентамі рацыянальнымі дробамі, і, як вынік, увёў фармальныя паняцці алгебраічных і трансцэндэнтных (г.