2 ms·
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.
by kccqzy 2y 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.