Já.
E se você aplicar uma hierarquia, como na teoria dos tipos, fazendo uma metalinguagem que fale dos valores de verdade do seu argumento (algo usado no paradoxo do mentiroso, por exemplo, pra que essa questão de validade de uma proposição deixe de ser auto-referente), acaba por ter que fazer uma hierarquia com infinitos tipos, eu acho. Ou esse paradoxo é inescapável.
Veja
http://en.wikipedia.org/wiki/Quine_paradox