摘要： 受情境语义学解悖方案的启发，巴威斯和莫斯把超集理论应用于模型论，构造了解悖的数学框 架———反基础模型论。在此基础上，通过给语言Ｌ增加真谓词ｔｒｕｅ，提出谎言定理。然后，以说谎者悖 论、强化的说谎者悖论、佐丹卡片悖论为例，说明反基础模型论解悖方法的巧妙之处。此外，在反基础模 型论的基础上，还可以通过给语言增加指派谓词，消解指称悖论。