やっと爆発律の証明をみつけた。
シーケント計算を使用しているやつ。
これをみる限り、数理論理学は、非常識だw
単に、外延性と内包性の混乱、といってもよいだろう。
これは、実質含意の問題と同じ混乱である。
実質含意のパラドックスであり、
爆発律は、爆発律のパラドックスと呼んでもよいだろうというほどの
「パラドックス」であるw