本文试图提供了一个解决说谎者悖论的方案。本方案改变了（T）模式的形式，但是保留了（T）模式的本质。本方案的语言也不同于一阶逻辑的语言，但是表达力并不弱于一阶语言，这意味着本语言中可以表达PA。另外，本方案的语义是二值语义而非多值语义。
