1936-cı ildə Alfred Tarski tərəfindən təsdiq edilmiş və sübut olunmuş Tarski'nin təsbit edilə bilməyəcəyi teorem, riyazi məntiq, riyaziyyatın əsasları və formal semantikada mühüm bir məhdud nəticədir. Informal olaraq, teorem arifmetik həqiqətin aritmetik ilə müəyyən edilə bilməyəcəyini bildirir. Bu teorem sistemin standart modeli içində həqiqəti sistem içində müəyyən edə bilməyəcəyini göstərən kifayət qədər güclü formal sistemə daha çox tətbiq edilir. [Riyaziyyatın əsasları][Semantika] |