La demostración utiliza el axioma de elección, por lo que colaboró en la discusión de la axiomatización de la teoría de conjuntos.