分かっていると思いますが念のために申し上げます。

帰納的に生成可能でないからといって
可算無限個でないとはいえません。