El teorema de Solovay (1970) afirma que si uno está dispuesto a descartar el axioma de elección, entonces existen modelos de teoría de conjuntos en los que todos los subconjuntos de formula_115 son medibles.