Tõde ja väited, mis ei väida midagi väidete tõeväärtuse kohta

Tõde ja väited, mis ei väida midagi väidete tõeväärtuse kohta 

Karmo Talts

Defineerime tõe väidete, mis ei väida midagi väidete tõeväärtuste kohta, jaoks. Iga väide P, mis ei väida midagi väidete tõeväärtuste kohta, on tõene parajasti siis, kui P.
Defineerime nüüd tõe teiste väidete jaoks. Iga väide P, mis väidab midagi väite Q, mis ei väida midagi väidete tõeväärtuste kohta,  kohta, on tõene parajasti siis, kui P. Iga väide P, mis väidab midagi väite Q, mis väidab midagi väite R, mis ei väida midagi väidete tõeväärtuste kohta,  kohta, kohta, on tõene parajasti siis, kui P. Jne.