Separating CL from set-theoretic axioms conflates syntactic derivability with semantic validity, sin...