Cada cuerpo tiene una extensión algebraica que es algebraicamente cerrada (que se denomina su clausura algebraica), pero el probar esto en general, requiere cierta forma del axioma de elección.