Batistela, R. de F. Do Sentido De Beleza Em Matemática E Do Que Se Mostrou Belo Para nós Na demonstração Dos Teoremas Da Incompletude De Gödel. EMP 2022, 24, 618-646.