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