" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ЦЕРМЕЛО ТЕОРЕМА

Значение ЦЕРМЕЛО ТЕОРЕМА в математической энциклопедии:

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

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