La fórmula qu'afirma la consistencia de T ye Consis T, ente que la fórmula qu'afirma la indemostrabilidad de G ye la mesma G. La fórmula que traduz el primera teorema (una parte d'él) ye Consis T ⇒ G, onde «⇒» significa implicación.