Luna, Laureano, & William Taylor. " Cantor’s Proof in the Full Definable Universe." The Australasian Journal of Logic [Online], 9 (2010): n. pag. Web. 26 Sep. 2020