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

Теорема Тарского применима к любой достаточно сильной формальной системе .

Формулировка

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

Другими словами, понятие арифметической истины не может быть выражено средствами самой арифметики.

См. также

• Парадокс лжеца
• Теоремы Гёделя о неполноте
• Теорема Лёба

Для улучшения этой статьи желательно : Добавить иллюстрации . Дополнить статью (статья слишком короткая либо содержит лишь словарное определение ). Найти и оформить в виде сносок ссылки на независимые авторитетные источники , подтверждающие написанное . После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.