El teorema de Tarski sobre la inexpresabilidad de la verdad aritmética es un teorema demostrado por Alfred Tarski en 1936 , un resultado limitante importante en lógica matemática , fundamentos de las matemáticas y semántica formal . El teorema de Tarski se aplica a cualquier sistema formal suficientemente fuerte .
El conjunto de fórmulas aritméticas de primer orden verdaderas (es decir, el conjunto de sus números bajo cualquier numeración fija de Gödel ) no es un conjunto aritmético .
En otras palabras, el concepto de verdad aritmética no puede expresarse por medio de la aritmética misma.