Del trabajo de Kurt Gödel y Paul Cohen se deduce que el axioma de elección es lógicamente independiente de los otros axiomas de la teoría axiomática de conjuntos.