以不同的方式同符合和紧缩的概念有关，是由波兰逻辑学家Alfred Tarski在1930年代出版的着作引发的。Tarski在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。在其中他做出了很多数学发现，最着名的是塔斯基不可定义性定理，它类似于哥德尔不完全定理。粗略的说，它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。
T-模式.要公式化有关语言学事情的理论，为了避免语义悖论