Batistela, R. de F. Intuições Que Influenciaram a demonstração Do Teorema Da Incompletude De Gödel. SIPEM 2024, 1-13.