El axioma de elección también es rechazado en la mayoría de las teorías de conjuntos intuicionistas, aunque en ciertas versiones es aceptado.