展开 证明整数集是可数集的条件是什么