Teorema lui Tarski privind inexprimabilitatea adevărului aritmetic este o teoremă demonstrată de Alfred Tarski în 1936 , un rezultat limitativ important în logica matematică , fundamentele matematicii și semantica formală . Teorema lui Tarski se aplică oricărui sistem formal suficient de puternic .
Setul de formule aritmetice adevărate de ordinul întâi (adică setul numerelor lor sub orice numerotare Gödel fixă ) nu este o mulțime aritmetică .
Cu alte cuvinte, conceptul de adevăr aritmetic nu poate fi exprimat prin intermediul aritmeticii în sine.