可以不失表达力而又避免说谎者悖论吗?

为提出一个有效的解悖方案,我们可以建构一个逻辑LCQ,进而证明LCQ的可靠性和完全性,以及它与一阶逻辑之间的关系,从而证明LCQ的表达力并不比一阶逻辑的表达力弱.在此基础上,构造一个真理论TCQT,并证明TCQT的一致性.在TCQT中,通常的(T)模式的表达形式改变了,但是其本质并未改变.通过编码我们可以建构自指的句子和对角线定理,但是(T)模式并不能应用于编码名字,因此避免了说谎者悖论.(T)模式可以应用于特殊常项,但是根据语言的建构和推理规则,自指和对角线定理不成立,因此也避免了说谎者悖论.与此同时,塔尔斯基的(T)模式的本质被保留了.