>>441-442
> つまり君は集合xが列挙的であるとは、x={0,1,2,3}と書けるような集合を指しているのだな。

あくまでもイメージですね。「列挙」という言葉の使い方は、もう説明しましたよね。

> xが列挙的であるとは対の公理を有限回用いて構成できる集合であると定義しよう。

してもいない定義の話に興味はありません。ご高説を拝読だけはしておきます。