Цермело Теорема

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