  Another problem is that even if spacetime were large enough to provide either a model for a literal interpretation of set theory or an instance for its structural interpretation, this would be a contingent fact about our universe. Set theory would be true but contingent. Since we typically think of mathematics as necessary, however, this is an untoward consequence for a philosophy of mathematics. Some might even call it a reductio.