>>439
つまり君は集合xが列挙的であるとは、x={0,1,2,3}と書けるような集合を指しているのだな。
xが列挙的であるとは対の公理を有限回用いて構成できる集合であると定義しよう。
しかしこれはすぐわかるようにxは有限の濃度をもつということに他ならない。
だからこの定義を採用したら自然数は列挙的ではないな。そりゃ自然数は可算濃度を持つわけだから。

そして君はxが集合であるということを、xは列挙的であるというぐらいの意味で用いてる気がするな。
もしかして君は無限公理を認めていないのか？
自然数全体の集合は存在しないとか言ってるし。