McCarty, D. C. All the Mathematics in the World: Logical Validity and Classical Set Theory. ZFN 2017, 5-29.