Tarskin lause aritmeettisen totuuden sanoin kuvaamattomuudesta on Alfred Tarskin vuonna 1936 todistama lause , joka on tärkeä rajoittava tulos matemaattisessa logiikassa , matematiikan perusteissa ja muodollisessa semantiikassa . Tarskin lause pätee kaikkiin riittävän vahvaan muodolliseen järjestelmään .
Todellisten ensimmäisen kertaluvun aritmeettisten kaavojen joukko (eli niiden lukujen joukko minkä tahansa kiinteän Gödel-numeroinnin alla ) ei ole aritmeettinen joukko .
Toisin sanoen, aritmeettisen totuuden käsitettä ei voida ilmaista itse aritmetiikalla.