Luna, Laureano, AND Taylor, William. " Cantor’s Proof in the Full Definable Universe" The Australasian Journal of Logic [Online], Volume 9(3 November 2010)