>
Suponha que esta afirmativa [acima] possa ser provada. Se pode ser provada, o que ela diz pode ser verdade. Mas ela diz que não pode ser provada. Se assumirmos que podemos provar a afirmação, nós provamos que ela não pode ser provada. Assim, nossa suposição de que ela era provável torna-se errada. Com essa alternativa fechada, vamos tentar a outra possível: vamos supor que a afirmação não pode ser provada. É exatamente isso o que ela diz e o que é verdade, afinal. E isto encerra nossa prova da afirmação acima!
– Gary Hayden and Michael Picard, This Book Does Not Exist [Este Livro Não Existe], 2009