>>107
S[n](n∈N) は、N=1の時、可算、
N=2の時、目的の集合は可算で、その証明は、ゴニョゴニョ
…
Nの時 目的の集合は可算と仮定すると…