https://1library.org/document/y90w4xwy-palavras-chave-paradoxo-do-mentiroso-lema-diagonal-teorema-da-indefinibilidade-lacunas-aglutinaco-es-trivialidade.html