Paradoxal

«Seguidamente, utilizaremos algo que se chama lema diagonal. É uma afirmação genérica, um caso particular do que precisamos para demonstrar o teorema de G. (Na verdade, G não o utilizou, antes derivou o caso particular em si.) O emprego deste lema geral (o qual, como é óbvio, não vamos demonstrar) simplificará imenso as coisas. O lema diagonal estabelece que a numeração de G é de um tipo tal que para qualquer função proposicional F(x) de uma variável existe um número n de um tipo tal que o número de G de F(n), a proposição que obtemos quando encaixamos n na função F(x) revela ser o n em si. (Que tenha de existir um tal número para cada F(x) pode dar-nos uma ideia do esforço sobre-humano colocado na concepção da numeração de G.) Por outras palavras, o lema diagonal estabelece que para qualquer F(x) existe um n tal que

n = NG(F(n))»

Foi para isto, claro, que tirei dois cursos superiores na área de Letras.