Fue formulado en 1904 por Ernst Zermelo, para demostrar que todo conjunto puede ser bien ordenado.