>>13 Here
"
Within each degree of polynomial we can inject into the natural numbers as there are only a countable number of each degree (A finite union is still countable without AC), so we assosciate to each polynomial a second number, it's order in this ordering."
Might need choice here, but I can explicity construct an injection so it's fine.