In fact, Zermelo initially introduced the axiom of choice in order to formalize his proof of the well-ordering theorem.
Στην πραγματικότητα,ο Zermelo αρχικά εισήγαγε το αξίωμα της επιλογής, προκειμένου να επισημοποιήσει την απόδειξη του καλά διατεταγμένου θεώρημα.