Batistela R de F. Intuições que influenciaram a demonstração do teorema da incompletude de Gödel. SIPEM. Published online 4º de novembro de 2024:1-13. Acessado fevereiro 3, 2026. https://www.sbembrasil.org.br/eventos/index.php/sipem/article/view/362