A pesar de que la expresión análoga en lenguaje formal no lleva a una contradicción lógica, sí tiene ciertos resultados imposibles, incluyendo un teorema de incompletitud similar al teorema de la incompletitud de Gödel.