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ı.