Zermelo introdujo el axioma de elección para probar el teorema de buena ordenación que afirma que todo conjunto puede ser bien ordenado.