幾何の問題です。

・非可算集合から可算集合をとっても非可算。
 
 というところまでしか授業では進んでません。

An:高々可算 ⇒ ∩(n=1〜∞)An :高々可算