Luna, L., & Taylor, W. 2010 Nov 3. Cantor’s Proof in the Full Definable Universe. The Australasian Journal of Logic. [Online] 9: