Históricamente ésta fue una de las razones para el desarrollo de las "teorías axiomáticas de conjuntos", siendo otra el interés en determinar exactamente qué enunciados acerca de los conjuntos necesitan que se asuma el polémico axioma de elección para ser demostrados.