PならばQは、¬P∨Qであり、Pが偽でもこの論理式は真になってしまう。
このような（常識的に不適切な）論理から爆発律がうまれている。
ZFCも、ラッセルの型理論ではなく、この実質含意のパラドックスの回避方法の
ひとつを採用していた（現在のZFCでは違う方法）。