R. de F. Batistela e M. A. Viggiani Bicudo, “Uma possibilidade de uma educação (meta)matemática trabalhando com o teorema da incompletude de Gödel”, REMat, vol. 20, p. e023070, jan. 2023.