DIR xkcd - A Webcomic of Romance, Sarcasm, Math and Language.
   DIR Floodgap Gopher Fun and Games
        
       xkcd - A Webcomic - Set Theory (982)
        
       Image:
       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.
  HTML xkcd License (WWW)
  HTML xkcd Web Site (WWW)
        
       Previous:
   DIR xkcd - A Webcomic - Porn Folder (981)
       Next:
   DIR xkcd - A Webcomic - Privacy (983)