||The axiom of choice asserts the existence of certain sets, but does not construct the set. What does "construct" mean here? For example, does it require showing the existence and uniqueness of some function yielding the set? In general, what does it mean to require the existence of a mathematical object be tied to a construction of it?
Claude Tardif lui répond.