ところで、昔の和書では
選択公理から整列定理を証明するのに
ツォルンの補題を経由していたが
その証明は全然直観的でなく実にわかりにくかった