Un campo de números algebraico es una extensión finita (algebraica) del campo de los números racionales.