Text this: Notas bibliográficas: Gódel's proof