Dado que los racionales no son algebraicamente cerrados, existe y puede construirse su clausura algebraica formula_3, este conjunto se denomina cuerpo de los números algebraicos, puede demostrarse que: