Si fuera demostrable sería falsa, lo cual contradice el hecho de que en un sistema consistente las proposiciones demostrables son siempre verdaderas.