Математическая энциклопедия
всякое множество можно вполне упорядочить (см. Вполне упорядоченное множество). Впервые эту теорему доказал Э. Цермело (Е. Zermelo, 1904), исходя из принципа выбора - одной из эквивалентных форм аксиомы выбора (см. Цермело аксиома). Позднее выяснилось, что Ц. т. эквивалентна аксиоме выбора (в системе обычных аксиом теории множеств), а значит, и многим другим высказываниям теоретико-множественного характера (см. Выбора аксиома).
В. И. Малыхин.