Esto sugiere que la existencia de conjuntos no medibles debe ser, de un modo u otro, una consecuencia del axioma de elección (o del principio de buena ordenación).