良序定理

  • 网络Well-ordering theorem
良序定理良序定理