展开 证明整数集为可数集