De nuevo, usando la numeración de Gödel, puede encontrarse una fórmula, denotada , cuyo significado es «no puede encontrarse una contradicción en », o en otras palabras, « es consistente».