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