It is not the case that Any well-ordering is dependent on arbitrary choices in its construction, making dependent choice functions equally non-canonical as the original problem.
?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.