Не пойму, как это мне удалось доказать эквивалентность двух утверждений вида

(лемма Цорна) и

- утверждение А выше, да еще через лелемму Цермело в ZF, хотя для этого вообще ничего кроме логики предикатов не нужно. Здесь

означает "любая цепь мажорируется", а

"существует максимальный элемент". Вот и все: предложение А - это переформулированная по правилам логики лемма Цорна. Так что смысл имеет лишь доказательство эквивалентности В со всеми видами аксиомы выбора, считая и предложение А.
Разумеется, фразу топик стартера
Цитата:
то в есть цепь, не имеющая верхней грани, т.е. линейно упорядоченное подмножество

, из которого по любому

можно выбрать такой

, что

.
я по совету г. AGu читаю просто как
"то в

есть цепь, не имеющая верхней грани"