Los números racionales no forman un cuerpo algebraicamente cerrado, un importante teorema de la teoría de cuerpos demuestra la existencia de un cuerpo algebraicamente cerrado que contiene al primero (estrictamente un conjunto isomorofo).