>>369
>ｐ∈ ｐが真の問題ではない。真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある
矛盾からはすべてが出るから
本当にp≠Pかつp=Pとしているんなら論外だけど
さすがにそれはないんじゃないのかな