たしかに竹之内脩の集合論でも

A∧B ⇒ A∨B

を導出していた
俺はこれでその本を読むことを止めたが
それが通じる時代や人がいることは確かだ
俺は一生分からんと思う