>>533
有限個ならば列挙可能ですね。
列挙可能ならば外延表記可能ですね。

はい、残念でした。