Hacker News new | ask | show | jobs
by kccqzy 720 days ago
The existence proof uses the axiom of choice so it's not a constructive proof. You cannot deduce how it's constructed from its existence.