Cтраница 4
Отметим, что из аксиомы выбора ( а) вытекает теорема 33.1 о продолжении гомоморфизмов, а из этой теоремы эффективно вытекает утверждение ( б) ( см. замечание на стр. [46]
Теорема Цермело следует из аксиомы выбора. [47]
В этом рассуждении используется аксиома выбора; см. ее критическое суждение в гл. [48]