Finite descriptions are countable. Axiom of Countable Choice is not counterintuitive like Axiom of (Uncountable) Choice.
You can order the set of all definitions, by prepending each definition with its length and then using the ordering (numerical order, alphabetical order).
You can order the set of all definitions, by prepending each definition with its length and then using the ordering (numerical order, alphabetical order).