It is not the case that The argument assumes any non-empty subset of non-corresponding positions has a first element, which presupposes well-ordering of that subset.
?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.