在逻辑学上指可以同时推导或证明出两个互相矛盾的命题的理论体系或命题.
悖论的定义可以这样表述：由一个被承认是真的命题为前提,设为B,
进行正确的逻辑推理后,得出一个与前提互为矛盾命题的结论非B；
反之,以非B为前提,亦可推得B.那么命题B就是一个悖论.
当然非B也是一个悖论.
可以按照某些制定或约定的公理规则去判定或证明某一命题的真假,
但是按照制定或约定的公理规则去判定或证明有些命题的真假时,
有时却出现发生了无法解决的悖论问题.
所以,悖论的真假跟假设与公理规则有关.