well-ordering theorem

📌 قضیه‌ای در نظریه مجموعه‌ها که می‌گوید هر مجموعه‌ای را می‌توان به یک مجموعه خوش‌ترتیب تبدیل کرد.