Tarskis teorem om aritmetisk sanning är ett teorem som bevisades av Alfred Tarski 1936 , ett viktigt begränsande resultat i matematisk logik , matematikens grunder och formell semantik . Tarskis teorem gäller för alla tillräckligt starka formellt system .
Uppsättningen av sanna aritmetiska formler av första ordningen (det vill säga uppsättningen av deras tal under någon fast Gödel-numrering ) är inte en aritmetisk uppsättning .
Begreppet aritmetisk sanning kan med andra ord inte uttryckas med hjälp av själva aritmetiken.