Therefore the argument's P2-P4 inference is valid only relative to a single set-theoretic universe, ...