Hacker News new | ask | show | jobs
by arnodel 4565 days ago
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" bijection.