Paradoksaalsete väidete tõeväärtuse tõestatavus

Paradoksaalsete väidete tõeväärtuse tõestatavus
Karmo Talts

Vaatame selle tingimusi, et me saame tõestada paradoksaalse väite P tõeväärtuse. Selleks on vaja, et üks väidetest P tõeväärtuste kohta oleks tõestatav. 
Vaatame nüüd selle tähendust, kui mistahes tõeväärtuse x korral järeldub sellest, et on tõestatav, et P tõeväärtus on x, vasturääkivus. See tähendab, et P tõeväärtus ei ole tõestatav.