It is not the case that Diaconescu's theorem shows Choice can be derived from seemingly innocuous structural assumptions, meaning the supporting argument may smuggle in Choice rather than isolate well-foundedness as the operative factor.
?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.