| 比如说，上帝和魔鬼的关系。 |
| 且不论上帝和魔鬼是否存在，仅从逻辑上，他们就不能相提并论， |
| 上帝和魔鬼不是一个级别的，魔鬼证明不了的，不能证明上帝不能证明。假设他们都存在。 |
|
“上帝是存在的，因为数学无疑是相容的；魔鬼也是存在的，因为我们不能证明这种相容性”
证明不了相容性，不能去证明不相容吗？ |
| 只要有一个例子，能证明不相容就可以。如果一个例子都没有，就证明相容。或者说不相容是伪命题。 |
| 比如人们知道自然数中有素数，那么说自然数中无素数就是伪命题。 |
| 把1排除在外，有没有天理？如果没有，则哥德巴赫猜想是伪命题。 |