It is not the case that Shapiro's full semantics treats second-order quantifiers as ranging over the actual power set of the domain, so metatheoretic AC-independence reflects set-theoretic indeterminacy, not semantic ambiguity in the logic itself.
?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.