R. de F. Batistela, “Intuições que influenciaram a demonstração do teorema da incompletude de Gödel”, SIPEM, p. 1–13, nov. 2024, Acessado: 17º de dezembro de 2025. [Online]. Disponível em: https://www.sbembrasil.org.br/eventos/index.php/sipem/article/view/362