如果一个无穷集是可数集,则他的任一无穷子集都是可数集.要证明这个是否一般用反证法?