>>126
可算無限集合体なのは定義であって、その計算式に取り込むなら100から引く事になっているぞ