If second-order logic is interpreted with full semantics relative to a given set-theoretic universe,...