Tarski Doğruluk Şeması ile Naif Doğruluk Kavramı
Matematik
Aritmetik
Çok Önemli
Özet
Tarski şeması "Kar beyazdır" doğrudur ancak ve ancak kar beyazsa İLE naif doğruluk sezgisel kavramdır. Tarski doğruluğu biçimsel olarak tanımladı İLE yalancı paradoksunu çözdü. Doğruluk meta-dilde tanımlanmalı.