It is not the case that The metatheoretic variation Cohen's forcing reveals is a pathology of first-order set-theoretic surrogates for second-order semantics, not evidence that second-order semantic content is itself indeterminate.
?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.