>>503
超準は全然知らないんだけど、有限加法的だけど可算加法的でないってのは
元の個数#がそういう性質を持ってるからって感じでいいのかね?