1. Beall, J. (2009). Spandrels of truth (1st ed.). Oxford University Press.
2. Choi, S. (2017). Can Gödel’s incompleteness theorem be a ground for dialetheism? Korean Journal of Logic, 20(2), 241–271.
3. Davis, M. (1958). Computability and unsolvability (1st ed.). Dover Publications.
4. Gödel, K. (1931). On formally undecidable propositions of Principia Mathematica and related system I. In S. Feferman, J. W. Dawson, S. Kleene, G. Moore, R. Solovay, & J. Heijenoort (Eds.), Kurt Gödel: Collected works (pp. 144–195). Oxford University Press.
5. Gödel, K. (1934). On undecidable propositions of formal mathematical systems. In S. Feferman, J. W. Dawson, S. Kleene, G. Moore, R. Solovay, & J. Heijenoort (Eds.), Kurt Gödel: Collected works (Vol. I, pp. 346–371). Oxford University Press.