蕴涵了，如果一个人有是矛盾的任何两个信仰，则这个人在逻辑上证实任何可想像到的信仰。
这个悖论的证明.即使谓词演算的基本规则对于好的推理方式都是可靠的，它们在一起就会蕴涵这个悖论。有两个方法证明它。第一个方法来自合取和蕴涵的真值表定义：第二个方法基于真值表的在美学上的缺陷：