> Am Freitag, 6. Dezember 2013 15:39:24 UTC+1 schrieb Ben Bacarisse:<snip>>> Does a bijection not define>> an enumeration? It does for the rest of us. [typo and->an corrected]>> It does.

Then I have nothing more to comment on. You accept the existence ofbijections between N and Q; you accept that a bijection defines anenumeration. I was only commenting on your claims the there was noenumeration of the rationals, and you clearly agree that there is.