F. Netto, “Os Teoremas de Gödel”, CadMAT, vol. 5, no. 23, Dec. 2011.