Реферат: Теория истинности А.Тарского

Определимость истины в IF -языках первого порядка есть фактически доказательство того, что тезис о невыразимости неверен и что в действительности можно обсуждать семантику языка в нем самом. Результаты, подобные тем, что получил Тарский, фактически составляют твердое ядро любого рационального основания для общего тезиса о невыразимос?