Tarski, in "On the Concept of Truth in Formal Languages", attempted to formulate a new theory of truth in order to resolve the liar paradox.
Tarski在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。