37は、線型順序と整列順序の違いが分からなかったんだよ、きっと。
そんで>>35の最後の一行が「整列可能定理は、外延性公理と正則性公理があれば証明できる」と読んでしまった。
に一票。