塔斯基不可定義定理

塔斯基不可定義定理  ， 是由阿爾弗雷德 · 塔斯基在1936年給出並證明 ， 是在數理邏輯 、 數學基礎及形式化語義方面的一個重要的限制結果 。 簡單來說 ： 我們無法在算術系統中定義何謂 「 算術的真理 」 。 從而這個定理可被推廣成適用於任何足夠強的形式系統 ， 以表明 ： 我們無法在系統中定義何謂 「 系統標準模型的真理 」 。