ちなみに
https://fuchino.ddo.jp/misc/superlesson.pdf
では、松坂和夫の選択公理から整列定理を導く証明はゴチャゴチャしててわかりにくい
集合論の専門家でもなんでもない人は、ただツェルメロの証明をそのまま写して
それで事足れりとして涼しい顔してるんなら、そんな教科書は有害無益だ
とまでいってますね　ま、「有害」はともかくとして少なくとも「無益」でしょうね
（既存の定理の簡潔な証明が、数学の成果として認められないのはもったいない）