公理化真理论把真看作一个原始谓词,并用一组公理和规则给出真谓词的意义,真首先是语形概念。在公理化真理论的标准模型中,一个定理可解释为真。因此模型真和语形真在概念上需要作出区分。通过不同的技术手段大部分公理化真理论都能较好地处理悖论,但DT和KF系统同时证明"说谎者语句λ"与"λ不是真的",此时语形真和模型真产生了冲突。莫德林和费弗曼等国外学者从哲学解释或技术上对此进行的辩护都存在不足之处,本文通过从语义视角入手建立起一种真对应关系后指出,这一受到质疑的结论既不应归结为形式技术问题,不是一个意外的推论,也不必从其他哲学角度进行辩护,问题是由克里普克语义真理论自身在处理强化说谎者悖论时失效所导致的。KF系统两种真的冲突,反而以形式方法揭示了当内、外逻辑不一致时,真理论所具有的性质。