It is not the case that If relational quantification is reinterpreted as first-order quantification over set-theoretic proxies, the generalization of CL need not be genuinely second-order in logical kind.
?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.