A diferencia de los axiomas de ZF, el axioma de elección es un axioma no constructivo, en el sentido de que no determina un conjunto único a partir de su información.