cantor

cantor比较有理数集合和自然数集合相等的方法
其中它通过拉出的一条折线，其中有理数分子和分母的和与之相等的正负自然数一一对应。当然这里所描述的集合间的相等，应该说是算法上的相等，不是真的完全相等；是在阿列夫条件下的相等。