Netto, Felipe. 2011. “Os Teoremas De Gödel”. Cadernos Do IME - Série Matemática 5 (23). https://doi.org/10.12957/cadmat.2011.11864.