Proof of Zermelo's well-ordering theorem given the Axiom of Choice: 1: Take S to be any set. 2: When I reach step three, if S hasn't managed to find a well-ordering relation for itself, I'll feed it into this wood chipper. 3: Hey, look, S is well-ordered.

What If? is now on YouTube!

Check out the first video for the answer to

“What if we aimed the Hubble Telescope at Earth?”

and follow xkcd’s What If? The Video Series channel to be notified about each new video.

Check out the first video for the answer to

“What if we aimed the Hubble Telescope at Earth?”

and follow xkcd’s What If? The Video Series channel to be notified about each new video.