Doğruluk, biçimsel dillerde tanımlanamaz
Alfred Tarski'nin teoremi, doğruluğun biçimsel bir dilin içinde tam olarak tanımlanamayacağını ortaya koyar. Bu, mantıksal öz-referansın temel sınırlarını gösterir. Felsefeden yapay zekaya kadar birçok alanı etkilemiştir.
1933'te mantıkçı Alfred Tarski, matematik gibi güçlü biçimsel dillerde 'doğruluğu' o dilin tüm ifadeleri için tanımlayamayacağınızı gösterdi. Bu, bir dilin kendi doğruluğunu, ünlü yalancı paradoksu gibi çelişkilere düşmeden tam olarak açıklayamayacağı anlamına gelir. Tarski'nin çözümü, 'nesne dili' hakkında konuşmak için bir 'üst dil' kullanmayı içeriyordu. Bu çığır açan fikir, biçimsel sistemlerin doğal sınırlarını vurgular. Felsefeden bilgisayar bilimine kadar her şeyi etkiledi. Güçlü mantıksal sistemlerde tam bir kendini açıklamanın imkansız olduğunu öne sürer. Bu, Gödel'in eksiklik teoremlerine benzer.