>>304
> 上記は
> ｛ｘ　、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ　、ｘ｝＝｛ｘ｝が偽の命題というｌ事が両立してる
> （矛盾）
これから言えることは、
((x=●)⇒(({x,x}={x})∧¬({x,x}={x})))⇒¬(x=●)
つまり、
x=●ならば
> ｛ｘ　、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ　、ｘ｝＝｛ｘ｝が偽の命題という事が両立して
おり矛盾、よって●はxになることはない
だぞ