Теорема Тарского о невыразимости истины
Теорема Тарского о невыразимости истины - теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике. Теорема гласит, что понятие арифметической истины не может быть выражено средствами арифметики. Теорема Тарского применима к любой достаточно сильной формальной системе.
См. также
 | Это заготовка статьи по логике. Помогите Википедии, дополнив её. |