Se ha probado que tanto el axioma de elección como su negación son consistentes con los axiomas de Zermelo-Fraenkel de la teoría de conjuntos.