Zermelo’s theorem
Every set can be well-ordered