>自然数との間に、計算可能な全単射があるものについては、
>単に「可算」というだけでなく、「recursively enumerable」と呼ばれます。
>「recursively enumerable」なものは、可算なもののうちの極々一部です。

recursively enumerableなものと可算なものが数としてどれぐらい違うか、
ということについて何かわかってることがあるのでしょうか。