Benacerraf's structuralist insight entails that multiple incompatible set-theoretic universes can eq...