Como es ω-consistente, no puede ocurrir entonces que sea un teorema, por lo que es indemostrable, y es indecidible.