失礼>>408だった

可算無限集合の高々有限な部分集合の集合は可算なのは当たり前じゃないか