Tarskiho teorém o nevyjádřitelnosti aritmetické pravdy je teorém dokázaný Alfredem Tarskim v roce 1936 , což je důležitý omezující výsledek v matematické logice , základech matematiky a formální sémantice . Tarskiho teorém platí pro jakýkoli dostatečně silný formální systém .
Množina skutečných aritmetických vzorců prvního řádu (tj. množina jejich čísel pod jakýmkoli pevným Gödelovým číslováním ) není aritmetická množina .
Jinými slovy, pojem aritmetické pravdy nelze vyjádřit pomocí aritmetiky samotné.