Batistela, R. de F. 2024. Intuições que influenciaram a demonstração do teorema da incompletude de Gödel. Seminário Internacional de Pesquisa em Educação Matemática. (nov. 2024), 1–13.