A string of TNT has been found; it expresses, unambiguously, a
statement about certain arithmetical properties of natural numbers;
moreover, by reasoning outside the system we can determine
not only that the statement is a true one, but also that the string
fails to be a theorem of TNT. And thus, if we ask TNT
TNT'nin bir dizisi bulundu; bu dizi, doğal sayıların belirli aritmetik özellikleri hakkında kesin bir ifadeyi dile getiriyor; dahası, sistemin dışında akıl yürüterek, ifadenin doğru olduğunu değil, aynı zamanda dizinin TNT'nin bir teoremi olmadığını da belirleyebiliriz. Dolayısıyla, TNT'ye sorarsak...