Every set admits a well-ordering. Equivalent to AC; Zermelo's 1904 proof spurred foundational debate and motivated ZFC.