>>885
君は、選択公理からの整列定理の証明、理解できたの?