真理的语义理论（Semantic theory of truth）声称对某个命题是真的的任何断言，可以只作为形式上的需要而做出来，不管表达命题自身用了什么语言。真理的语义概念，以不同的方式同符合和紧缩的概念有关，是由波兰逻辑学家Alfred Tarski在1930年代出版的着作引发的。Tarski在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。在其中他做出了很多数学发现，最着名的是塔斯基不可定义性定理，它类似于哥