>>272
”実質的内含のパラドックス”は完全に解消する。

実質的内含のパラドックスとは、「ＰならばＱである」を
「ｐでないか又はＱである」と同値と考えることによって
生ずるいろいろなパラドックスのこと。