Gödel probó [1930/1940] que el axioma de elección era consistente con los axiomas de ZF, por lo que podía emplearse junto con ellos sin temor de obtener contradicciones.