I reckon the flaw is that your bijection between N and your set of "constructable" numbers is not itself "constructable". In fact your argument can probably turned into a proof that there is no such "constructable"…
I reckon the flaw is that your bijection between N and your set of "constructable" numbers is not itself "constructable". In fact your argument can probably turned into a proof that there is no such "constructable"…