All the Mathematics in the World: Logical Validity and Classical Set Theory. ZFN 2017, No. 63, 5-29.