1. Can anybody elxplain to me (or point me to a URL of an explanation) how Cantor proved the existence of a bijection (0,1]~[0,1]? 2. It's not for homework. I have to understand it generally for a paper I am writing. 3. I think it has someting to do with transfinites but I can't get it.