(DIR) xkcd - A Webcomic of Romance, Sarcasm, Math and Language.
 (DIR) Floodgap Gopher Fun and Games
        
       xkcd - A Webcomic - Set Theory (982)
        
       Image:
 (PNG) set_theory.png
        
       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.
        
       Comics reproduced from www.xkcd.com under license.
 (HTM) xkcd License (WWW)
 (HTM) xkcd Web Site (WWW)
        
       Previous:
 (DIR) xkcd - A Webcomic - Porn Folder (981)
       Next:
 (DIR) xkcd - A Webcomic - Privacy (983)