Математическая энциклопедия - цермело теорема

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

В. И. Малыхин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985