Подчеркнем, что в теореме 3 доказана эквивалентность перечисленных там свойств, а не справедливость какого-либо из ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Скорняков Л.А.
Элементы теории структур
Подчеркнем, что в теореме 3 доказана эквивалентность перечисленных там свойств, а не справедливость какого-либо из них. Аксиома выбора действительно является ак-гиомой и не может быть выведена из остальных аксиом теории множеств.