Netto, Felipe. “Os Teoremas De Gödel”. Cadernos Do IME - Série Matemática, vol. 5, nº 23, dezembro de 2011, doi:10.12957/cadmat.2011.11864.