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