悖论

---

是指这样一种逻辑上自相矛盾的状况，肯定一个命题，就得出它的矛盾命题；同时，如果肯定这个命题的否定，同样又得出它的矛盾命题。

即：如果肯定命题A，就推出非A；如果肯定非A，就推出A。通常把悖论分为逻辑悖论或集合悖论和语义悖论。对于悖论的研究，目的在于分析产生悖论的根源，寻求克服悖论的方法、途径。

这种研究推动了逻辑学、语义理论的发展。另外，形式系统中的若干不可判定语句的构造，也从悖论受到启发。