XKCD on the Axiom of Choice...
Arguably one of the best XKCD comics ever…
The alternate text for this comic is a modern lumberjack’s proof of Zermelo’s Theorem.
Proof of Zermelo’s wellordering 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 wellordering relation for itself, I’ll feed it into this wood chipper. 3: Hey, look, S is wellordered.
Originally posted on by François G. Dorais. To the extent possible under law, François G. Dorais has waived all copyright and neigboring rights to this work.
Comments

Peter Krautzberger wrote
Ha! I had missed the alternate text. Awesome!