展开 证明整数集是可数集的例