Diagonaliseerimine ja vasturääkivus
Karmo Talts
Sõnastame järgmise piirangu diagonaliseerimisele: kui sellest, et X on ekvivalentne talle viitava väitega, ei järeldu vasturääkivus, siis leidub X-le viitav väide, millega X on ekvivalentne.
Vaatame nüüd selle tähendust tõeskeemi jaoks. Kui sellest, et X on tõene parajasti siis, kui X, ei järeldu vasturääkivus, siis on X tõene parajasti siis, kui X.
Kommentaare ei ole:
Postita kommentaar