1. Benacerraf, P. (1973). Mathematical truth. Journal of Philosophy, 70, 661–680.
2. Boolos, G., & Jeffrey, R. (1989). Computability and logic (3rd ed.). Cambridge University Press.
3. Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, 345–363.
4. Deacon, T. (2011). Incomplete nature: How mind emerged from matter. Norton.
5. Gödel, K. (1931/1967). On formally undecidable propositions of principia mathematica and related systems. In J. van Heijenoort (Ed.), From Frege to Gödel (pp. 596–617). Harvard University Press.