François G. Dorais

Research in Logic and Foundations of Mathematics

XKCD on the Axiom of Choice...

Arguably one of the best XKCD comics ever…

XKCD - 982 - Set Theory

The alternate text for this comic is a modern lumberjack’s proof of Zermelo’s Theorem.

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.

CC0 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.