Доказательство теоремы Цермело/Цорна

[philurame]

Пожалуйста, объясните как можно понятнее одну из теорем (по возможности обе) и как она(они) следуют из аксиомы выбора
Пытался разобраться в Цермело сам, столкнулся с «трансфинитной индукцией», и, в общем, так и не смог понять перехода к бесконечности:
Дано множетсво А. Брали функцию f(X)=а, где а принадлежит А\Х, Х лежит в А
При построении строим минимальный элемент =f(ø)=a0, потом следующий =f({a0})=a1 и «ТД» - вот я так и не понял: как дальше доказать, что так будет и для несчетного множества А

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);


Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.