Introduction needs a gentler introduction before formal statement. Section on infinite sets neds expansion. Tompw (talk) 15:40, 4 January 2007 (UTC)