En particular, la sentencia de Gödel {{math|''G''}} ye una fórmula aritmética que'l so significáu ye «nun esiste una demostración de {{math|''G''}} na teoría {{math|''T''}}», o n'otres palabrespallabres, «nun soi demostrable na teoría {{math|''T''}}».