Теорема Тарского о невыразимости арифметической истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике.
Множество истинных формул арифметики первого порядка (то есть множество их номеров при любой фиксированной гёделевской нумерации) не является арифметическим множеством.