En particular, la sentencia de Gödel es una fórmula aritmética cuyo significado es «no existe una demostración de en la teoría », o en otras palabras, «no soy demostrable en la teoría ».