La fórmula que afirma la consistencia de es , mientras que la fórmula que afirma la indemostrabilidad de es la propia .