Luna, L., & Taylor, W. (2010). Cantor’s Proof in the Full Definable Universe. The Australasian Journal Of Logic, 9. doi:10.26686/ajl.v9i0.1818