McCarty, D. C. All the Mathematics in the World: Logical Validity and Classical Set Theory. ZFN 2017, No. 63, 5-29. https://doi.org/10.59203/zfn.63.394.