>>746

>>選択公理から導く

補題1、補題2の証明を読みましたが、選択公理は1か所だけで使われているだけです。
選択公理は全然主役ではありません。

ですので、例えば、

「Zornの補題を証明せよ」という演習問題のヒントとして、
「選択公理から導く」などと書いてあったら、ピントはずれ
という感じがします。