展开 证明可数集的有限子集全体仍可数