It is not the case that AC's utility lies in proving *existence* of choice functions, not constructing specific ones; the claim overstates what AC provides.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.