>>55
>可算(計算可能)
>不可算(計算不可能)

可算・非可算は計算可能かどうか(calculation, computation)ではなく自然数で番号付けできるか、すなわち数えられるかどうか(count)なんですがそれは