D. C. McCarty, “All the mathematics in the world: logical validity and classical set theory”, ZFN, no. 63, pp. 5–29, Dec. 2017.